prezto/history.zsh

## Command history configuration
#
HISTFILE=$HOME/.zsh_history
HISTSIZE=5000
SAVEHIST=5000
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
Importing initial files after reorganizing stuff. 2009-08-28 14:14:17 -04:00			`## Command history configuration`
			`#`
would rather store history in $HOME and double size 2009-09-22 18:36:25 -04:00			`HISTFILE=$HOME/.zsh_history`
			`HISTSIZE=5000`
			`SAVEHIST=5000`
Importing initial files after reorganizing stuff. 2009-08-28 14:14:17 -04:00			`setopt hist_ignore_dups # ignore duplication command history list`
			`setopt share_history # share command history data`
tidy up history 2009-09-22 19:44:57 -04:00
			`setopt hist_verify`
			`setopt inc_append_history`
			`setopt extended_history`
			`setopt hist_expire_dups_first`