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

Re: Latest hist-immediate-drop patch

X-seq: zsh-workers 14349
From: Adam Spiers <adam@xxxxxxxxxx>
To: Zsh Workers <zsh-workers@xxxxxxxxxx>
Subject: Re: Latest hist-immediate-drop patch
Date: Tue, 15 May 2001 11:58:51 +0100
In-reply-to: <Pine.LNX.4.33L2.0105141756570.17647-100000@xxxxxxxxxxxxxxx>; from wayned@xxxxxxxxxxxxxxxxxxxxx on Mon, May 14, 2001 at 05:57:47PM -0700
Mail-followup-to: Zsh Workers <zsh-workers@xxxxxxxxxx>
Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm
References: <010514155811.ZM10321@xxxxxxxxxxxxxxxxxxxxxxx> <Pine.LNX.4.33L2.0105141756570.17647-100000@xxxxxxxxxxxxxxx>
Reply-to: Adam Spiers <adam@xxxxxxxxxx>

Wayne Davison (wayned@xxxxxxxxxxxxxxxxxxxxx) wrote:
> I've been rather ambivilent about the new option, but I think I'm ready
> to side with you on the issue -- this delayed-drop is the way the
> history code should have worked in the first place.  Both Zefram and
> Sven voted for the inclusion of the option, though, which is the "safe"
> choice (and everyone else has abstained).  I'd be quite happy to remove
> the hist_immediate_drop option from my patch if we can reach some sort
> of an agreement here.  Any changed votes?  Any new votes?  Or shall I
> just take the bull by the horns and decide for us all?

FWIW, I like the idea a lot, and I'd be quite happy to see it included
with or without the option.  Like Bart, I can't imagine anyone being
seriously bothered by history hanging around for an extra line.

References:
- Re: Latest hist-immediate-drop patch
  - From: Bart Schaefer
- Re: Latest hist-immediate-drop patch
  - From: Wayne Davison

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