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

Re: HIST_IGNORE_DUPS ignores lines which differ by a different number of spaces

X-seq: zsh-workers 31267
From: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
To: zsh-workers@xxxxxxx
Subject: Re: HIST_IGNORE_DUPS ignores lines which differ by a different number of spaces
Date: Wed, 17 Apr 2013 09:41:55 -0700
In-reply-to: <20130416170518.GD18872@xvii.vinc17.org>
List-help: <mailto:zsh-workers-help@zsh.org>
List-id: Zsh Workers List <zsh-workers.zsh.org>
List-post: <mailto:zsh-workers@zsh.org>
Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
References: <20130416170518.GD18872@xvii.vinc17.org>

The intent is to consider lines that parse the same to be identical even if
the whitespace around words is different.  However, spaces inside quoted
strings should not be treated this way, so the example shown does
demonstrate a bug.

References:
- HIST_IGNORE_DUPS ignores lines which differ by a different number of spaces
  - From: Vincent Lefevre

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