]> git.netwichtig.de Git - user/henk/vcsh/zsh.git/commitdiff
feat: remove duplicates only if directly before to have a timeline
authorHendrik Jäger <gitcommit@henk.geekmail.org>
Sun, 30 Jul 2023 20:12:07 +0000 (22:12 +0200)
committerHendrik Jäger <gitcommit@henk.geekmail.org>
Sun, 30 Jul 2023 20:12:07 +0000 (22:12 +0200)
.zshrc

diff --git a/.zshrc b/.zshrc
index 0c2791814183cb998314535c1ecf8172cbab5d3b..8465ed009c5be3010848f408fb4c87a832458fe3 100644 (file)
--- a/.zshrc
+++ b/.zshrc
@@ -70,8 +70,8 @@ setopt RC_EXPAND_PARAM
 #setopt WARN_CREATE_GLOBAL
 setopt GLOB_DOTS
 
-# remove previous entries from history
-setopt HIST_IGNORE_ALL_DUPS
+# Ignore a duplicate of the previous command
+setopt HIST_IGNORE_DUPS
 # do not write lines starting with a space to history file
 setopt HIST_IGNORE_SPACE
 # Remove superfluous blanks