From 4fec788fa5f6e7c9723e02e3d0b57068ce9785aa Mon Sep 17 00:00:00 2001 From: Tanaka Akira Date: Wed, 19 May 1999 13:10:41 +0000 Subject: zsh-3.1.5-pws-19 --- Doc/Zsh/options.yo | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Doc/Zsh/options.yo') 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 -- cgit 1.4.1