diff options
author | Matt Singleton <matthew.j.singleton@gmail.com> | 2011-02-18 17:05:47 -0500 |
---|---|---|
committer | Matt Singleton <matthew.j.singleton@gmail.com> | 2011-02-18 17:05:47 -0500 |
commit | bb3b34829a0599a2c356a46fdfa75c3f9c525088 (patch) | |
tree | 69cfc5baf380c5b4151df69fb8ba6d7525c4c0e3 /zsh/history.zsh | |
parent | fa40c9c0a1ec3238053575a2fac228f92d49fd78 (diff) |
removing dependency on oh-my-zsh
Diffstat (limited to 'zsh/history.zsh')
-rw-r--r-- | zsh/history.zsh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/zsh/history.zsh b/zsh/history.zsh new file mode 100644 index 0000000..0619fbe --- /dev/null +++ b/zsh/history.zsh @@ -0,0 +1,18 @@ +#TODO: optimize these rules. they are redundant + +## 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 |