merge upstream

2009-09-23 16:14:04 +01:00
parent 71b1c60a8d ff545e6934
commit 8a8a7bafa0
14 changed files with 16 additions and 6 deletions
--- a/lib/history.zsh
+++ b/lib/history.zsh
@@ -0,0 +1,12 @@
+## Command history configuration
+HISTFILE=$HOME/.zsh_history
+HISTSIZE=10000
+SAVEHIST=10000
+
+setopt hist_ignore_dups # ignore duplication command history list
+setopt share_history # share command history data
+
+setopt hist_verify
+setopt inc_append_history
+setopt extended_history
+setopt hist_expire_dups_first