diff options
author | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-12 22:28:55 (GMT) |
---|---|---|
committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-12 22:28:55 (GMT) |
commit | aa96b7897b40bf1171f08d77e229ec57b2c4119a (patch) | |
tree | d6be2cd9ab395ad031968c46d341881f8f3005e1 /web/input/doc/extra-opts.md | |
parent | c394fa1575c28380e56d4f1e9883d88dfa7266cf (diff) | |
download | site-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.md | 8 |
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 | ||
41 | The default nagios plugins file is used if no explicit filename is given. The | 41 | The default nagios plugins file is used if no explicit filename is given. The |
42 | current standard locations checked are: | 42 | current standard locations checked are: |