From 2d371d66d01af1097348a7ddcd5d6a1972190d3d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matej=20Jane=C5=BEi=C4=8D?= Date: Mon, 9 Mar 2026 13:07:19 +0100 Subject: [PATCH] feat(zsh): harden history settings --- zsh/.zshrc | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/zsh/.zshrc b/zsh/.zshrc index 75a6028..8944320 100644 --- a/zsh/.zshrc +++ b/zsh/.zshrc @@ -1,7 +1,11 @@ -# zsh history file +# history HISTFILE="$XDG_STATE_HOME/zsh/history" HISTSIZE=10000 SAVEHIST=10000 +setopt HIST_IGNORE_DUPS # skip consecutive duplicates +setopt HIST_IGNORE_SPACE # skip commands starting with space +setopt SHARE_HISTORY # share history across sessions +setopt HIST_REDUCE_BLANKS # strip extra whitespace # gnupg export GPG_TTY=$(tty)