Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: hist_strip_spaces (was Re: histignoredups done properly)
- X-seq: zsh-workers 1954
- From: Andrej Borsenkow <borsenkow.msk@xxxxxx>
- To: Wayne Davison <wayne@xxxxxxxxx>
- Subject: Re: hist_strip_spaces (was Re: histignoredups done properly)
- Date: Tue, 13 Aug 1996 09:48:56 +0400 (MOW)
- Cc: Peter Stephenson <pws@xxxxxx>, Zsh hackers list <zsh-workers@xxxxxxxxxxxxxxx>
- In-reply-to: <199608121917.MAA03396@xxxxxxxxxxxxxxx>
- Reply-to: borsenkow.msk@xxxxxx
On Mon, 12 Aug 1996, Wayne Davison wrote:
> Peter Stephenson writes:
> > This fixes histignoredups so that only lines which are really
> > different are stored; insignificant changes in whitespace are not
> > treated as differences.
>
[ snipped ]
> Since it may be that not everyone will want this, I made it depend on a
> new option, HIST_STRIP_SPACES. I haven't modified the documentation yet,
> however.
>
The idea is really nice. Here is another one:
I often find itself in a position, where I use several command in a loop;
e.g. (simplified)
% vi
% cc
% ./a.out
or like. What about "HIST_IGNORE_ALL_DUPS" option, which would keep only
globally unique command line? It would be very easy to add this (now it
shold probably be combined with strip_spaces as well).
Any comments?
greetings
-------------------------------------------------------------------------
Andrej Borsenkow Fax: +7 (095) 252 01 05
SNI ITS Moscow Tel: +7 (095) 252 13 88
NERV: borsenkow.msk E-Mail: borsenkow.msk@xxxxxx
-------------------------------------------------------------------------
Messages sorted by:
Reverse Date,
Date,
Thread,
Author