From 2b8d218167297ea50ca2e0a9a6fda307b6f3da6a Mon Sep 17 00:00:00 2001 From: James Cox Date: Tue, 22 Sep 2009 23:36:25 +0100 Subject: [PATCH] would rather store history in $HOME and double size --- history.zsh | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/history.zsh b/history.zsh index a093aa27..b2c8c036 100644 --- a/history.zsh +++ b/history.zsh @@ -7,9 +7,8 @@ setopt HIST_IGNORE_DUPS ## Command history configuration # -HISTFILE=$ZSH/log/.zsh_history -HISTSIZE=2500 -SAVEHIST=2500 +HISTFILE=$HOME/.zsh_history +HISTSIZE=5000 +SAVEHIST=5000 setopt hist_ignore_dups # ignore duplication command history list setopt share_history # share command history data -