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

Re: revisiting history-file rewriting

X-seq: zsh-workers 21000
From: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
To: zsh-workers@xxxxxxxxxx
Subject: Re: revisiting history-file rewriting
Date: Thu, 17 Mar 2005 18:03:38 +0000
In-reply-to: <20050316204059.GA1298@xxxxxxxxx>
Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm
References: <20050316204059.GA1298@xxxxxxxxx>

On Mar 16, 12:40pm, Wayne Davison wrote:
}
} This patch adds the option HIST_OVERWRITE that is off by default.

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.

Also, I know the "new" convention is to use a HIST_ prefix, but it
would be nice to be consistent with APPEND_HISTORY et al.  We already
have HIST_APPEND; while we're at it, perhaps we add HIST_APPEND_INC,
HIST_SHARE, and OVERWRITE_HISTORY with appropriate aliasing?

Follow-Ups:
- Re: revisiting history-file rewriting
  - From: Wayne Davison

References:
- revisiting history-file rewriting
  - From: Wayne Davison

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