aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatt Singleton <matthew.j.singleton@gmail.com>2011-02-19 00:03:48 -0500
committerMatt Singleton <matthew.j.singleton@gmail.com>2011-02-19 00:03:48 -0500
commitf5645a70e2edfd920ff3cceb80b301a7d4aa05f3 (patch)
tree3a2f6b4fb9cd61d56da0fc69cdd452bba1ac86bc
parent894c02322b573c57c684ba71cb81ed792ebf55d1 (diff)
optimize history rules
-rw-r--r--zsh/history.zsh16
1 files changed, 4 insertions, 12 deletions
diff --git a/zsh/history.zsh b/zsh/history.zsh
index 0619fbe..4f46d2f 100644
--- a/zsh/history.zsh
+++ b/zsh/history.zsh
@@ -1,18 +1,10 @@
-#TODO: optimize these rules. they are redundant
+#done
## 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
-setopt hist_ignore_space
-
-setopt SHARE_HISTORY
-setopt APPEND_HISTORY
+setopt hist_ignore_all_dups # ignore dups including non-sequential ones
+setopt share_history # share command history data between sessions
+setopt hist_verify # load hist into command buffer rather than exec immediately