Re: How to make APPENDHISTORY useful?

[Wayne Davison <wayne@clari.net>]

"Bart Schaefer" writes:
> but once the file gets full you're back to one of
> the states described above.

Not quite.  Since savehistfile() only appends newly entered lines, the
above only occurs if SAVEHIST new lines were entered since starting the
shell.

One simple solution is to have zsh call savehistfile() every N lines when
APPEND_HISTORY is set.  This would intersperse the lines from multiple
shells nicely, and doesn't require you to exit an old shell before its
history can be used in new shells.  It might be nice if the history file
was not rewritten for every auto-append, allowing the file to grow a
while before going to the extra work of truncating it.

..wayne..