zsh: SHARE_HISTORY or INC_APPEND_HISTORY breaks EXTENDED_HISTORY
Clash Royale CLAN TAG #URR8PPP up vote 2 down vote favorite I would like to both share history across terminals and keep track of elapsed time for history commands. The intuitive way seems to be to use both EXTENDED_HISTORY and SHARE_HISTORY , but this sets all elapsed timestamps to 0 after restarting the shell. Is this the correct way to do it? Is it even possible? Scenario 1: EXTENDED_HISTORY and SHARE_HISTORY $ history -Dn | sed 's|\n|n |g' 0:00 cat << EOF > ~/.zshrc HISTFILE=~/.zhistory-test HISTSIZE=100 SAVEHIST=100 setopt EXTENDED_HISTORY setopt SHARE_HISTORY # the only change compared to below EOF 0:00 exec zsh 0:00 sleep 1 0:00 exec zsh Scenario 2: only EXTENDED_HISTORY $ history -Dn | sed 's|\n|n |g' 0:00 cat << EOF > ~/.zshrc HISTFILE=~/.zhistory-test HISTSIZE=100 SAVEHIST=100 setopt EXTENDED_HISTORY EOF 0:00 exec zsh 0:01 sleep 1 0:00 exec zsh Scenario 3: INC_APPEND_HISTORY and SHARE_HISTORY Same as scenario 1, but...