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

Re: History bug in zsh 5.0.5

X-seq: zsh-workers 32705
From: Peter Stephenson <p.stephenson@xxxxxxxxxxx>
To: zsh-workers@xxxxxxx
Subject: Re: History bug in zsh 5.0.5
Date: Wed, 04 Jun 2014 16:26:20 +0100
In-reply-to: <20140604150941.GL7931@sym.noone.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
Organization: Samsung Cambridge Solution Centre
References: <8020140C-4E21-4136-BA9B-D258065847E5@gmail.com> <20140604150941.GL7931@sym.noone.org>

On Wed, 04 Jun 2014 17:09:42 +0200
Axel Beckert <abe@xxxxxxxxxxxxxxx> wrote:
> But I thought so first, too. :-) There's no sleep or such in
> RoboSloNE's report and it's about SHARE_HISTORY which
> zsh-workers/32682 isn't (IIRC).

However, INC_APPEND_HISTORY is set, according to the report .  It
shouldn't be if the behaviour you want is the (pure) SHARE_HISTORY one.
So it probably is the same issue.

pws

References:
- History bug in zsh 5.0.5
  - From: RoboSloNE
- Re: History bug in zsh 5.0.5
  - From: Axel Beckert

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