diff options
Diffstat (limited to 'Doc/Zsh')
| -rw-r--r-- | Doc/Zsh/options.yo | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Doc/Zsh/options.yo b/Doc/Zsh/options.yo index a96597157..842e5c27b 100644 --- a/Doc/Zsh/options.yo +++ b/Doc/Zsh/options.yo @@ -1866,6 +1866,10 @@ tt(source), tt(times), tt(trap) and tt(unset). + +In addition, a failed redirection after tt(exec) causes a non-interactive +shell to exit and an interactive shell to return to its top-level +processing. ) pindex(POSIX_IDENTIFIERS) pindex(NO_POSIX_IDENTIFIERS) |