prezto/lib/history.zsh

## Command history configuration
HISTFILE="$HOME/.zsh_history"
HISTSIZE=10000
SAVEHIST=10000

setopt hist_verify
setopt hist_expire_dups_first
setopt hist_ignore_space
setopt hist_ignore_dups
setopt share_history
setopt append_history
setopt extended_history
setopt inc_append_history
Importing initial files after reorganizing stuff. 2009-08-28 20:14:17 +02:00			`## Command history configuration`
Cleaned up lib/ and removed trailing white space everywhere. Conflicts: oh-my-zsh.sh 2011-06-01 08:48:26 +02:00			`HISTFILE="$HOME/.zsh_history"`
Bumping up history to 10k commands 2009-09-23 17:07:02 +02:00			`HISTSIZE=10000`
			`SAVEHIST=10000`
merge upstream 2009-09-23 17:14:04 +02:00
Cleaned up lib/ and removed trailing white space everywhere. Conflicts: oh-my-zsh.sh 2011-06-01 08:48:26 +02:00			`setopt hist_verify`
			`setopt hist_expire_dups_first`
			`setopt hist_ignore_space`
			`setopt hist_ignore_dups`
			`setopt share_history`
			`setopt append_history`
			`setopt extended_history`
			`setopt inc_append_history`