linux/zsh-settings
0
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

disabled history delete dublicates

Browse source
This commit is contained in:
Elmar Sönser 2021-12-09 08:08:30 +01:00
parent b41de0429b
commit 6551519795
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.zshrc
View file

@ -71,7 +71,7 @@ export HISTSIZE=100000 # max would be 1000000000
setopt SHARE_HISTORY # Share history between all sessions. setopt SHARE_HISTORY # Share history between all sessions.
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 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.
setopt HIST_VERIFY # Don't execute immediately upon history expansion. setopt HIST_VERIFY # Don't execute immediately upon history expansion.
# Would you like to use another custom folder than $ZSH/custom? # Would you like to use another custom folder than $ZSH/custom?