diff options
Diffstat (limited to 'Doc/Zsh/options.yo')
| -rw-r--r-- | Doc/Zsh/options.yo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Doc/Zsh/options.yo b/Doc/Zsh/options.yo index 41c5ce24e..c34736107 100644 --- a/Doc/Zsh/options.yo +++ b/Doc/Zsh/options.yo @@ -479,9 +479,9 @@ of tt(exit) or tt(logout) instead. However, ten consecutive EOFs will cause the shell to exit anyway, to avoid the shell hanging if its tty goes away. ) -pindex(INCREMENTAL_APPEND_HISTORY) +pindex(INC_APPEND_HISTORY) cindex(history, incremental appending to a file) -item(tt(INCREMENTAL_APPEND_HISTORY))( +item(tt(INC_APPEND_HISTORY))( This options works like APPEND_HISTORY except that new history lines are added to the tt($HISTFILE) when they finish running, rather than waiting until the shell is killed. The file is periodically trimmed |