From 6551519795bd5352a9524a7daf29d9ac6b4c3009 Mon Sep 17 00:00:00 2001 From: karamelmar Date: Thu, 9 Dec 2021 08:08:30 +0100 Subject: [PATCH] disabled history delete dublicates --- .zshrc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.zshrc b/.zshrc index 270d7cf..e88add7 100644 --- a/.zshrc +++ b/.zshrc @@ -71,7 +71,7 @@ export HISTSIZE=100000 # max would be 1000000000 setopt SHARE_HISTORY # Share history between all sessions. 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_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. # Would you like to use another custom folder than $ZSH/custom?