Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: [PATCH] local history support, take 2
- X-seq: zsh-workers 19959
- From: Wayne Davison <wayned@xxxxxxxxxxxxxxxxxxxxx>
- To: Peter Stephenson <pws@xxxxxxx>
- Subject: Re: [PATCH] local history support, take 2
- Date: Tue, 18 May 2004 14:32:03 -0700
- Cc: zsh-workers@xxxxxxxxxx
- In-reply-to: <20040518195047.GA2578@xxxxxxxxx>
- Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm
- References: <20040515002217.GE22331@xxxxxxxxx> <8428.1084879726@xxxxxxx> <20040518195047.GA2578@xxxxxxxxx>
On Tue, May 18, 2004 at 12:50:47PM -0700, Wayne Davison wrote:
> Here's my latest patch.
Note that this patch has a problem if the original history did not have
HISTFILE set -- any new value set in the pushed history is not removed
on pop. I've got a fix for that, but it's a pretty minor glitch, so I
won't repost the whole thing. If you want to see my latest patch, you
can grab it here:
http://www.blorf.net/localhistory.patch
..wayne..
Messages sorted by:
Reverse Date,
Date,
Thread,
Author