diff options
| author | Robby Russell <robby@planetargon.com> | 2009-09-23 08:07:02 -0700 |
|---|---|---|
| committer | Robby Russell <robby@planetargon.com> | 2009-09-23 08:07:02 -0700 |
| commit | ff545e6934b70945e778495f613d41a43681b662 (patch) | |
| tree | ce5a6e26e4496e6adb5300f66ac59fe6075de599 | |
| parent | 1dc73537320ff86b7597fc097ad82c58aeba0566 (diff) | |
| download | zsh-ff545e6934b70945e778495f613d41a43681b662.tar.gz zsh-ff545e6934b70945e778495f613d41a43681b662.tar.bz2 zsh-ff545e6934b70945e778495f613d41a43681b662.zip | |
Bumping up history to 10k commands
| -rw-r--r-- | lib/history.zsh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/history.zsh b/lib/history.zsh index a093aa27c..f7b63b7cd 100644 --- a/lib/history.zsh +++ b/lib/history.zsh @@ -8,8 +8,8 @@ setopt HIST_IGNORE_DUPS ## Command history configuration # HISTFILE=$ZSH/log/.zsh_history -HISTSIZE=2500 -SAVEHIST=2500 +HISTSIZE=10000 +SAVEHIST=10000 setopt hist_ignore_dups # ignore duplication command history list setopt share_history # share command history data |