diff options
author | Chris Bracken <chris@bracken.jp> | 2017-11-10 14:26:08 -0800 |
---|---|---|
committer | Oliver Kiddle <opk@zsh.org> | 2017-11-13 21:06:35 +0100 |
commit | 2c00d2132c5f81eee0820fe258b23a6d9f996b7f (patch) | |
tree | 92494d4a9a3049d381d210c3dca9584c3ff7dcb0 /Doc/Zsh | |
parent | b432d518e4a2c5dfe3723571c24d69ebdc0b62ba (diff) | |
download | zsh-2c00d2132c5f81eee0820fe258b23a6d9f996b7f.tar.gz zsh-2c00d2132c5f81eee0820fe258b23a6d9f996b7f.tar.xz zsh-2c00d2132c5f81eee0820fe258b23a6d9f996b7f.zip |
github #19: Fix minor typo in INC_APPEND_HISTORY documentation
Diffstat (limited to 'Doc/Zsh')
-rw-r--r-- | Doc/Zsh/options.yo | 2 |
1 files changed, 1 insertions, 1 deletions
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 |