Re: [zsh 3.1.9] history bug?

[Vincent Lefevre <vincent@xxxxxxxxxx>]

On Wed, Nov 29, 2000 at 15:50:02 +0000, Bart Schaefer wrote:
> On Nov 29,  2:14pm, Vincent Lefevre wrote:
> }
> } But all command lines are not stored to the history (even when the
> } previous one was different).
> 
> Can you give an actual example of this, please?

Here's something similar:

_ open a terminal
zztest 1
zztest 2
_ close the terminal
_ do the same thing

Now, the history contains here:
: 975595084:0;zztest 1
: 975595088:0;zztest 2
: 975595113:0;zztest 1
: 975595128:0;zztest 2

_ open a terminal
zztest 3
zztest 2
zztest 1
_ close the terminal

Now, the history contains here:
: 975595084:0;zztest 1
: 975595088:0;zztest 2
: 975595113:0;zztest 1
: 975595128:0;zztest 2
: 975595167:0;zztest 3
: 975595230:0;zztest 1
: 975595181:0;zztest 2

The problem is that the above two lines are inverted.

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.org/> - 100%
validated HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des
Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / PolKA research team at LORIA