Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: revisiting history-file rewriting
- X-seq: zsh-workers 21013
- From: Wayne Davison <wayned@xxxxxxxxxxxxxxxxxxxxx>
- To: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
- Subject: Re: revisiting history-file rewriting
- Date: Fri, 18 Mar 2005 10:19:21 -0800
- Cc: zsh-workers@xxxxxxxxxx
- In-reply-to: <1050317180338.ZM32687@xxxxxxxxxxxxxxxxxxxxxxx>
- Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm
- References: <20050316204059.GA1298@xxxxxxxxx> <1050317180338.ZM32687@xxxxxxxxxxxxxxxxxxxxxxx>
On Thu, Mar 17, 2005 at 06:03:38PM +0000, Bart Schaefer wrote:
> I'm OK with this, though I think the documentation should explain in
> more detail how it interacts with APPEND_HISTORY, INC_APPEND_HISTORY,
> and SHARE_HISTORY.
Yeah, my docs were pretty minimal.
> We already have HIST_APPEND; while we're at it, perhaps we add
> HIST_APPEND_INC, HIST_SHARE, and OVERWRITE_HISTORY with appropriate
> aliasing?
I don't like OVERWRITE_HISTORY because it sounds like something that
conflicts with APPEND_HISTORY. Perhaps my option name needs to be
improved -- how about HIST_WRITE_IN_PLACE? That seems to better
indicate that it is effecting how the history file is written out
rather than affecting how data is put into the history file.
As for the other aliases, I wouldn't mind seeing them added.
..wayne..
Messages sorted by:
Reverse Date,
Date,
Thread,
Author