From e234f9fc652b00ec5a8f864c85e2f0437e728e55 Mon Sep 17 00:00:00 2001
From: Guillaume Dott <guillaume+github@dott.fr>
Date: Fri, 21 Aug 2026 15:38:01 +0200
Subject: [PATCH] zsh: increase history size

---
 zsh/.zshenv | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/zsh/.zshenv b/zsh/.zshenv
index 41b838e..abf316c 100644
--- a/zsh/.zshenv
+++ b/zsh/.zshenv
@@ -10,8 +10,8 @@ export GTK2_RC_FILES="$HOME/.gtkrc-2.0"
 export HISTFILE="$XDG_DATA_HOME/zsh/history"
 if [ ! -d $(dirname $HISTFILE) ]; then mkdir -p $(dirname $HISTFILE); fi
 
-export HISTSIZE=5000
-export SAVEHIST=5000
+export HISTSIZE=10000
+export SAVEHIST=10000
 
 export ZCOMPDUMP=$XDG_CACHE_HOME/zsh/zcompdump-$ZSH_VERSION
 if [ ! -d $(dirname $ZCOMPDUMP) ]; then mkdir -p $(dirname $ZCOMPDUMP); fi