Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: How to make APPENDHISTORY useful?
- X-seq: zsh-users 677
- From: Wayne Davison <wayne@xxxxxxxxx>
- To: schaefer@xxxxxxx
- Subject: Re: How to make APPENDHISTORY useful?
- Date: Thu, 13 Feb 1997 15:53:43 -0800
- Cc: zsh-users@xxxxxxxxxxxxxxx
- In-reply-to: schaefer's message of Thu, 13 Feb 1997 14:29:20 -0800. <970213142920.ZM22919@xxxxxxxxxxxxxxxxxxxxxxx>
"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..
Messages sorted by:
Reverse Date,
Date,
Thread,
Author