[Pkg-zsh-devel] Bug#749969: history no longer syncs immediately, INC_APPEND_HISTORY broken

[Peter Palfrader]

Package: zsh
Version: 5.0.5-2
Severity: important

Hi,

since upgrading from stable, I noticed that zsh no longer adds commands
to the history immediately when they are started.  They only get added
when they have finished.

That's a regression from stable, where things got added as soon as they
started.

This is as important feature for me, as I often want to run similar
(long running) commands at the same time.  I.e., I issue a command, open
a new shell in a new terminal emulator window, slightly modify it and
send it off.  Now that's no longer possible.

E.g.:
 - Run "sleep 10" in a zsh in your favorite terminal emulator.
 - Open a second window.  "sleep 10" is not yet in your history.
 - <wait 10 seconds>
 - Open a third window.  "sleep 10" is now there.

Ideally the sleep 10 would be there even in the second window.

Note that I don't want all my active zshs to share a common history.
Once started, a shell should not modify its history.  Thus,
share_history is not what I'm looking for.
All I ask is that INC_APPEND_HISTORY again work as documented:
| This  options  works like APPEND_HISTORY except that new history
| lines are added to the $HISTFILE incrementally (as soon as  they
                                                  ^^^^^^^^^^^^^^^^
| are  entered)
  ^^^^^^^^^^^^

Cheers,
weasel