Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: Bug#749969: history no longer syncs immediately, INC_APPEND_HISTORY broken

On Sat, May 31, 2014 at 2:21 AM, Frank Terbeck <ft@xxxxxxxxxxxxxxxxxxx>

> I think to enable both ways to be possible, there should be two options:
> INC_APPEND_HISTORY that enables the original behaviour and (if the name
> is agreeable) DELAY_INC_APPEND_HISTORY, that amends the behaviour of the
> original option in the way that is reflected by the current behaviour.

You should just be able to setopt SHARE_HISTORY to have zsh always append
the entry early.  Of course, that also has the effect of the shell
importing the shared history from other shells, so it's nice to have things
like up/down arrow set to only browse local history (while things like
search look in the shared history).  There was a fairly recent discussion
of up-line-or-local-history() functions and a discussion of making
everything local except for isearch functions.


Messages sorted by: Reverse Date, Date, Thread, Author