[Pkg-zsh-devel] Bug#1108492: Are INC_APPEND_HISTORY_TIME and SHARE_HISTORY really mutually exclusive, as the documentation of zshoptions says?

[Peter Müller]

Package: zsh
Version: 5.9-4+b6
Control: affects -1 zsh-doc

In our .zshrc, we had

setopt HIST_IGNORE_ALL_DUPS INC_APPEND_HISTORY_TIME AUTO_CD

so that issuing setopt yielded

autocd
histignorealldups
incappendhistorytime
interactive
monitor
shinstdin
zle

However, opening two xterms in parallel and typing in certain commands in one shell and, in parallel, other commands in another shell didn't transfer the commands from the history of one shell to the history of the other.

I changed the .zshrc options line to

setopt HIST_IGNORE_ALL_DUPS SHARE_HISTORY INC_APPEND_HISTORY_TIME AUTO_CD

so that, upon reopening the two xterms, setopt yielded

autocd
histignorealldups
incappendhistorytime
interactive
monitor
sharehistory
shinstdin
zle

Only then did the commands typed in in one shell start appearing in the history of another shell (though the history got transferred to the other shell only after any command in the other shell had been issued).

In the Manual and Info pages of zshoptions, we read in the para for INC_APPEND_HISTORY_TIME: “[…] This option is only useful if INC_APPEND_HISTORY and SHARE_HISTORY are turned off. The three options should be considered mutually exclusive.”

So, apparently, I did the useless thing (having both options simultaneously), and it worked. Is the documentation outdated, or does some other magic happen?