Browse code
Made the histfile bigger
Nicolas Viennot authored on 04/05/2011 at 10:47:54Showing 1 changed files
| ... | ... |
@@ -1,7 +1,7 @@ |
| 1 | 1 |
## Command history configuration |
| 2 | 2 |
HISTFILE=$HOME/.zsh_history |
| 3 |
-HISTSIZE=10000 |
|
| 4 |
-SAVEHIST=10000 |
|
| 3 |
+HISTSIZE=100000 |
|
| 4 |
+SAVEHIST=100000 |
|
| 5 | 5 |
|
| 6 | 6 |
setopt hist_ignore_dups # ignore duplication command history list |
| 7 | 7 |
setopt share_history # share command history data |
| ... | ... |
@@ -11,6 +11,7 @@ setopt inc_append_history |
| 11 | 11 |
setopt extended_history |
| 12 | 12 |
setopt hist_expire_dups_first |
| 13 | 13 |
setopt hist_ignore_space |
| 14 |
+setopt hist_reduce_blanks |
|
| 14 | 15 |
|
| 15 | 16 |
setopt SHARE_HISTORY |
| 16 | 17 |
setopt APPEND_HISTORY |