diff options
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 |