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

Re: [PATCH] local history support, take 2



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