From 2c00d2132c5f81eee0820fe258b23a6d9f996b7f Mon Sep 17 00:00:00 2001 From: Chris Bracken Date: Fri, 10 Nov 2017 14:26:08 -0800 Subject: github #19: Fix minor typo in INC_APPEND_HISTORY documentation --- Doc/Zsh/options.yo | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Doc') 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 -- cgit v1.2.3