Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: zsh and history
- X-seq: zsh-users 1135
- From: Peter Stephenson <pws@xxxxxx>
- To: Olivier.Sirol@xxxxxxx, zsh-users@xxxxxxxxxxxxxxx (Zsh users list)
- Subject: Re: zsh and history
- Date: Fri, 07 Nov 1997 16:37:37 +0100
- In-reply-to: ""Czo [Olivier SIROL]""'s message of "Fri, 07 Nov 1997 15:51:03 MET." <34632AD7.3947083@xxxxxxxxxxxx>
> Is there an option (or is this planed)
> that process history lines like tcsh
>
> % set histfile = ~/.history
> % set histdup = erase
> % set history = 1000
> % set savehist = ( 900 merge )
>
> This means i have an history file of 1000 lines
> Each time a tcsh dies it save at most 900 lines
> AND the most important :
> Each time I write a new line, if it is already
> in the history (eg line 233) then line 233 is
> erased and the new line is pushed in the history
> This means ALL the commands in my history are unique.
> I have only found the Zsh Optin : HIST_IGNORE_DUPS
There's also the option appendhistory which you should set. It's
possible, even so, that it doesn't quite do what you want: at least,
there have been complaints about the behviour when saving multiple
sessions. If it still doesn't, complain again (preferably with
examples of how it differs) and I'll have a look at the history code.
--
Peter Stephenson <pws@xxxxxx> Tel: +49 33762 77366
WWW: http://www.ifh.de/~pws/ Fax: +49 33762 77413
Deutsches Elektronen-Synchrotron --- Institut fuer Hochenergiephysik Zeuthen
DESY-IfH, Platanenallee 6, 15738 Zeuthen, Germany.
Messages sorted by:
Reverse Date,
Date,
Thread,
Author