zsh: disable shared session by default

This commit is contained in:
Mathieu Maret 2020-10-07 11:53:49 +02:00
parent 9987cee833
commit bf076ff44c

View File

@ -10,7 +10,7 @@ export HISTCONTROL=erasedups
setopt EXTENDED_HISTORY # Write the history file in the ":start:elapsed;command" format. setopt EXTENDED_HISTORY # Write the history file in the ":start:elapsed;command" format.
setopt INC_APPEND_HISTORY # Write to the history file immediately, not when the shell exits. setopt INC_APPEND_HISTORY # Write to the history file immediately, not when the shell exits.
setopt SHARE_HISTORY # Share history between all sessions. #setopt SHARE_HISTORY # Share history between all sessions.
setopt HIST_EXPIRE_DUPS_FIRST # Expire duplicate entries first when trimming history. setopt HIST_EXPIRE_DUPS_FIRST # Expire duplicate entries first when trimming history.
setopt HIST_IGNORE_DUPS # Don't record an entry that was just recorded again. setopt HIST_IGNORE_DUPS # Don't record an entry that was just recorded again.
setopt HIST_IGNORE_ALL_DUPS # Delete old recorded entry if new entry is a duplicate. setopt HIST_IGNORE_ALL_DUPS # Delete old recorded entry if new entry is a duplicate.