diff options
Diffstat (limited to 'doc_src/exit.txt')
| -rw-r--r-- | doc_src/exit.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc_src/exit.txt b/doc_src/exit.txt index 5b43b612..b780c431 100644 --- a/doc_src/exit.txt +++ b/doc_src/exit.txt @@ -9,4 +9,4 @@ exit [STATUS] `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">source</a> builtin) the rest of the file will be skipped, but the shell itself will not exit. |