diff options
| author | James Cox <james@imaj.es> | 2009-09-22 23:36:25 +0100 |
|---|---|---|
| committer | James Cox <james@imaj.es> | 2009-09-22 23:36:25 +0100 |
| commit | 8fe67686dba78a273b058f7f7e3d26c286d269f2 (patch) | |
| tree | c2f8aa5fe494b95daef4969071e6349545f3c5ba | |
| parent | 89d86d869c298642e809dfa7530b7ef2539cd07f (diff) | |
| download | zsh-8fe67686dba78a273b058f7f7e3d26c286d269f2.tar.gz zsh-8fe67686dba78a273b058f7f7e3d26c286d269f2.tar.bz2 zsh-8fe67686dba78a273b058f7f7e3d26c286d269f2.zip | |
would rather store history in $HOME and double size
| -rw-r--r-- | history.zsh | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/history.zsh b/history.zsh index a093aa27c..b2c8c0361 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 - |