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

Re: history editing

X-seq: zsh-users 4494
From: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
To: Danek Duvall <duvall@xxxxxxxxxxx>
Subject: Re: history editing
Date: Wed, 21 Nov 2001 15:41:14 -0800
Cc: zsh-users@xxxxxxxxxx
In-reply-to: <20011121143008.A2559@xxxxxxxxxxxxxxxxxx>
Mailing-list: contact zsh-users-help@xxxxxxxxxx; run by ezmlm
References: <20011116100106.A944@xxxxxxxxxxxxxxxxxx> <Pine.LNX.4.21.0111211350030.25494-100000@xxxxxxxxxxxxxx> <20011121143008.A2559@xxxxxxxxxxxxxxxxxx>

On Nov 21,  2:30pm, Danek Duvall wrote:
> 
> I think this was the key I was missing.  fc -R doesn't replace the
> current history with what it reads in, it adds it to the end.
> 
> I'm surprised, then, that this ever worked.

If $SAVEHIST is greater than $HISTSIZE and the file that you're editing was
non-empty before, then after editing there could still be more than $HISTSIZE
lines in the file.  In that event you'd read in the last $HISTSIZE of those
lines, pushing the entire current history out.

In other words, you only see the effect you were seeing when the number of
lines in the file is less than or equal to $HISTSIZE.

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