diff options
author | Lucretiel <Lucretiel@users.noreply.github.com> | 2015-03-18 16:22:29 -0400 |
---|---|---|
committer | Lucretiel <Lucretiel@users.noreply.github.com> | 2015-03-18 16:22:29 -0400 |
commit | 733108e33bc651e1292a50d7e5a88b46d460836e (patch) | |
tree | 9ad6260f6f73fe1fefb0855a41decc5ec3037bfc /doc_src/exit.txt | |
parent | 48d353610fc5fac5a9d491e9d0ad9c7e4c79fe7e (diff) |
Updated exit.txt reference to source
Changed the text referencing 'source' in exit.txt from '.' to 'source'
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. |