summaryrefslogtreecommitdiffstats
path: root/web/input/doc/extra-opts.md
diff options
context:
space:
mode:
authorHolger Weiss <holger@zedat.fu-berlin.de>2014-01-12 22:28:55 (GMT)
committerHolger Weiss <holger@zedat.fu-berlin.de>2014-01-12 22:28:55 (GMT)
commitaa96b7897b40bf1171f08d77e229ec57b2c4119a (patch)
treed6be2cd9ab395ad031968c46d341881f8f3005e1 /web/input/doc/extra-opts.md
parentc394fa1575c28380e56d4f1e9883d88dfa7266cf (diff)
downloadsite-aa96b7897b40bf1171f08d77e229ec57b2c4119a.tar.gz
Documentation: Denote command lines with "$"
Add a prompt sign to all command lines in code blocks.
Diffstat (limited to 'web/input/doc/extra-opts.md')
-rw-r--r--web/input/doc/extra-opts.md8
1 files changed, 4 insertions, 4 deletions
diff --git a/web/input/doc/extra-opts.md b/web/input/doc/extra-opts.md
index 91a205b..06fc5b7 100644
--- a/web/input/doc/extra-opts.md
+++ b/web/input/doc/extra-opts.md
@@ -21,22 +21,22 @@ Some examples:
21 21
22* Read `special_opts` section of default config file: 22* Read `special_opts` section of default config file:
23 23
24 ./check_stuff --extra-opts=special_opts 24 $ ./check_stuff --extra-opts=special_opts
25 25
26* Read `special_opts` section of `/etc/myconfig.ini`: 26* Read `special_opts` section of `/etc/myconfig.ini`:
27 27
28 ./check_stuff --extra-opts=special_opts@/etc/myconfig.ini 28 $ ./check_stuff --extra-opts=special_opts@/etc/myconfig.ini
29 29
30* Read `check_stuff` section of `/etc/myconfig.ini`: 30* Read `check_stuff` section of `/etc/myconfig.ini`:
31 31
32 ./check_stuff --extra-opts=@/etc/myconfig.ini 32 $ ./check_stuff --extra-opts=@/etc/myconfig.ini
33 33
34* Read `check_stuff` section of default config file and use additional 34* Read `check_stuff` section of default config file and use additional
35 arguments along with the other specified arguments (*extra-opts* arguments 35 arguments along with the other specified arguments (*extra-opts* arguments
36 are always processed first no matter where `--extra-opts` appears on the 36 are always processed first no matter where `--extra-opts` appears on the
37 command line): 37 command line):
38 38
39 ./check_stuff --extra-opts -jk --some-other-opt 39 $ ./check_stuff --extra-opts -jk --some-other-opt
40 40
41The default nagios plugins file is used if no explicit filename is given. The 41The default nagios plugins file is used if no explicit filename is given. The
42current standard locations checked are: 42current standard locations checked are: