From ceaf2f06d6ec8f813ee948889fb6fd32e3969c1d Mon Sep 17 00:00:00 2001 From: id101010 Date: Wed, 26 Sep 2018 22:22:07 +0200 Subject: [PATCH] Ignore duplicates in zsh history --- zshrc | 1 + 1 file changed, 1 insertion(+) diff --git a/zshrc b/zshrc index 6c5dc5e..2570a71 100644 --- a/zshrc +++ b/zshrc @@ -53,6 +53,7 @@ DISABLE_AUTO_UPDATE="true" # stamp shown in the history command output. # The optional three formats: "mm/dd/yyyy"|"dd.mm.yyyy"|"yyyy-mm-dd" HIST_STAMPS="mm/dd/yyyy" +HIST_IGNORE_DUPS="true" # Would you like to use another custom folder than $ZSH/custom? # ZSH_CUSTOM=/path/to/new-custom-folder