prezto/lib/history.zsh

# History stuff.
setopt HIST_VERIFY
setopt INC_APPEND_HISTORY
setopt SHARE_HISTORY
setopt EXTENDED_HISTORY
setopt HIST_IGNORE_DUPS

## Command history configuration
#
HISTFILE=$ZSH/log/.zsh_history
HISTSIZE=10000
SAVEHIST=10000
setopt hist_ignore_dups # ignore duplication command history list
setopt share_history # share command history data
Importing initial files after reorganizing stuff. 2009-08-29 02:14:17 +08:00			`# History stuff.`
			`setopt HIST_VERIFY`
			`setopt INC_APPEND_HISTORY`
			`setopt SHARE_HISTORY`
			`setopt EXTENDED_HISTORY`
			`setopt HIST_IGNORE_DUPS`

			`## Command history configuration`
			`#`
			`HISTFILE=$ZSH/log/.zsh_history`
Bumping up history to 10k commands 2009-09-23 23:07:02 +08:00			`HISTSIZE=10000`
			`SAVEHIST=10000`
Importing initial files after reorganizing stuff. 2009-08-29 02:14:17 +08:00			`setopt hist_ignore_dups # ignore duplication command history list`
			`setopt share_history # share command history data`