diff options
Diffstat (limited to 'doc_src/exit.txt')
| -rw-r--r-- | doc_src/exit.txt | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/doc_src/exit.txt b/doc_src/exit.txt index cdcf54d4..5b43b612 100644 --- a/doc_src/exit.txt +++ b/doc_src/exit.txt @@ -1,14 +1,12 @@ \section exit exit - exit the shell \subsection exit-synopsis Synopsis -<tt>exit [STATUS]</tt> +\fish{synopsis} +exit [STATUS] +\endfish \subsection exit-description Description -\c exit causes fish to exit. If <tt>STATUS</tt> is -supplied, it will be converted to an integer and used as the exit -code. Otherwise, the exit code will be that of the last command executed. +`exit` causes fish to exit. If `STATUS` is supplied, it will be converted to an integer and used as the exit code. Otherwise, the exit code will be that of the last command executed. -If exit is called while sourcing a file (using the <a -href="#source">.</a> builtin) the rest of the file will be skipped, -but the shell itself will not exit. +If exit is called while sourcing a file (using the <a href="#source">.</a> builtin) the rest of the file will be skipped, but the shell itself will not exit. |