ff545e6934b70945e778495f613d41a43681b662

Author
Robby Russell <robby@planetargon.com>
Committer
Robby Russell <robby@planetargon.com>
Date

Message

Bumping up history to 10k commands

Diff

 1diff --git a/lib/history.zsh b/lib/history.zsh
 2index a093aa27ca585997623da94fead144a90236da7a..f7b63b7cddefb37b7778baf0a276be59413825a9 100644
 3--- a/lib/history.zsh
 4+++ b/lib/history.zsh
 5@@ -8,8 +8,8 @@ setopt HIST_IGNORE_DUPS
 6 ## Command history configuration
 7 #
 8 HISTFILE=$ZSH/log/.zsh_history
 9-HISTSIZE=2500
10-SAVEHIST=2500
11+HISTSIZE=10000
12+SAVEHIST=10000
13 setopt hist_ignore_dups # ignore duplication command history list
14 setopt share_history # share command history data
15