Re: zsh history bug ?

[Bernhard Tittelbach <xro@xxxxxxxxxxx>]

Am 2014-11-14 um 02:51 schrieb Mikael Magnusson:
> On Fri, Nov 14, 2014 at 2:34 AM, Bernhard Tittelbach <xro@xxxxxxxxxxx> wrote:
>> Am 2014-11-05 um 01:12 schrieb Bart Schaefer:
>>> On Nov 4, 2014 3:27 PM, "Bernhard Tittelbach" <xro@xxxxxxxxxxx> wrote:
>>>
>>>> # Then I get the last command from the history by using <arrow up>
>>>> # but strangley some chars seem to have moved and the CL looks like this
>>>> % dtc -E all -I ts  tst.dtss -O tb  -o est.dtbb<enter>
>>> If possible, please try this in a newer version of the shell.  It sounds
>>> very much like something that was fixed within the past several months.
>>> (The current zsh version is 5.0.7.)
>>>
>> I've been working a few days with 5.0.7 now and can report the following:
>>
>> 1) I seem to encounter the bug less often
>> 2) The bug, or a variant thereof is still present
>>
>> i.e.:
>>
>> % mkdir -p libs/jquery
>> % cd <Alt>.
>> resulted in
>> % cd lib/jquuery
>>
>> When I previously encountered the bug, I believe only the lookup from
>> history was garbled, i.e. the contents of .zsh_history were fine.
>> I'll have to confirm this on a different system though.
>>
>> Now the .zsh_history definitely holds a garbled version of the executed
>> command line:
>>
>> % ls
>> libs/
>> % ls libs/
>> jquery/
>> % tail  ~/.zsh_history | grep mkdir
>> : 1415928181:0;mkdir -p lib/jquuery
> Check if setopt nohistreduceblanks stops the problem.
>
Alright, I've not encountered the bug for quite some time now,
your suggestion worked!

Thanks a lot !!