]> git.rmz.io Git - dotfiles.git/blobdiff - zsh/lib/history.zsh
merge oh-my-zsh into subdir
[dotfiles.git] / zsh / lib / history.zsh
diff --git a/zsh/lib/history.zsh b/zsh/lib/history.zsh
new file mode 100644 (file)
index 0000000..876936b
--- /dev/null
@@ -0,0 +1,13 @@
+## Command history configuration
+HISTFILE=$HOME/.zsh_history
+HISTSIZE=10000
+SAVEHIST=10000
+
+setopt append_history
+setopt extended_history
+setopt hist_expire_dups_first
+setopt hist_ignore_dups # ignore duplication command history list
+setopt hist_ignore_space
+setopt hist_verify
+setopt inc_append_history
+setopt share_history # share command history data