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?
