diff options
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rw-r--r-- | Doc/Zsh/options.yo | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog index affd39e66..a76e6e06c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2017-11-13 Oliver Kiddle <opk@zsh.org> + + * github #19: Chris Bracken: Fix minor typo in + INC_APPEND_HISTORY documentation + 2017-11-11 Peter Stephenson <p.w.stephenson@ntlworld.com> * Martijn: 42004: Doc/Zsh/builtins.yo: fix parentheses. diff --git a/Doc/Zsh/options.yo b/Doc/Zsh/options.yo index 42571fccd..28155d796 100644 --- a/Doc/Zsh/options.yo +++ b/Doc/Zsh/options.yo @@ -1016,7 +1016,7 @@ pindex(INCAPPENDHISTORY) pindex(NOINCAPPENDHISTORY) cindex(history, incremental appending to a file) item(tt(INC_APPEND_HISTORY))( -This options works like tt(APPEND_HISTORY) except that new history lines +This option works like tt(APPEND_HISTORY) except that new history lines are added to the tt($HISTFILE) incrementally (as soon as they are entered), rather than waiting until the shell exits. The file will still be periodically re-written to trim it when the |