From 203b157de844817334f6214eaa36bd2fbc179473 Mon Sep 17 00:00:00 2001 From: lhark Date: Sat, 7 Nov 2015 18:06:45 +0100 Subject: [PATCH] Increase command history size --- zshrc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/zshrc b/zshrc index a4fada0..907c95b 100644 --- a/zshrc +++ b/zshrc @@ -333,8 +333,8 @@ bindkey -v # bindkey -e # Réglages de l'historique -HISTSIZE=10000 -SAVEHIST=10000 +HISTSIZE=100000 +SAVEHIST=100000 HISTFILE=~/.history HISTTIMEFORMAT="%d/%m %H:%M:%S " setopt hist_ignore_all_dups sharehistory hist_ignore_space