From e97a7dbd7e2337665772f6e9fd2a01a308ac4daa Mon Sep 17 00:00:00 2001 From: Fernando Schauenburg Date: Sat, 17 Feb 2024 17:59:11 +0100 Subject: [PATCH] zsh: don't add duplicates to history --- config/zsh/history.zsh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/config/zsh/history.zsh b/config/zsh/history.zsh index 612d88f..a0c396a 100644 --- a/config/zsh/history.zsh +++ b/config/zsh/history.zsh @@ -1,6 +1,7 @@ -setopt APPEND_HISTORY # Append history rather than overwrite. -setopt EXTENDED_HISTORY # Save beginning timestamp and duration. -setopt INC_APPEND_HISTORY # Don't wait until shell exits to save history. +setopt APPEND_HISTORY # Append history rather than overwrite. +setopt EXTENDED_HISTORY # Save beginning timestamp and duration. +setopt INC_APPEND_HISTORY # Don't wait until shell exits to save history. +setopt HIST_IGNORE_ALL_DUPS # Don't add duplicates to history. HISTFILE="${XDG_DATA_HOME:-$HOME/.local/share}/zsh/history" HISTSIZE=1000000