From 9470f6033dae51a68a3a291eb53680b796132177 Mon Sep 17 00:00:00 2001 From: Marc Date: Sun, 20 Feb 2022 16:28:07 +0100 Subject: [PATCH] no dups in zsh history --- .config/zsh/.zshrc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.config/zsh/.zshrc b/.config/zsh/.zshrc index 3d4d77a..89813a8 100644 --- a/.config/zsh/.zshrc +++ b/.config/zsh/.zshrc @@ -60,6 +60,8 @@ SAVEHIST=1000 setopt HIST_EXPIRE_DUPS_FIRST # entfernt erst Duplikate, wenn SAVEHIST überläuft setopt EXTENDED_HISTORY # speichert Zeitstempel und Dauer setopt SHARE_HISTORY # share history across terms +setopt HIST_FIND_NO_DUPS # ignores duplicates in history when ctrl+r +# setopt HIST_IGNORE_ALL_DUPS # dont write dups in history # -------------------------------------- # Keybindings