Browse Source

tidy up history

master
James Cox 15 years ago
parent
commit
ee31f463f2
  1. 12
      history.zsh

12
history.zsh

@ -1,10 +1,3 @@
# History stuff.
setopt HIST_VERIFY
setopt INC_APPEND_HISTORY
setopt SHARE_HISTORY
setopt EXTENDED_HISTORY
setopt HIST_IGNORE_DUPS
## Command history configuration ## Command history configuration
# #
HISTFILE=$HOME/.zsh_history HISTFILE=$HOME/.zsh_history
@ -12,3 +5,8 @@ HISTSIZE=5000
SAVEHIST=5000 SAVEHIST=5000
setopt hist_ignore_dups # ignore duplication command history list setopt hist_ignore_dups # ignore duplication command history list
setopt share_history # share command history data setopt share_history # share command history data
setopt hist_verify
setopt inc_append_history
setopt extended_history
setopt hist_expire_dups_first

Loading…
Cancel
Save