ohmyzsh/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=$HOME/.zsh_history
HISTSIZE=5000
SAVEHIST=5000
setopt hist_ignore_dups # ignore duplication command history list
setopt share_history # share command history data
Importing initial files after reorganizing stuff. 2009-08-28 11:14:17 -07:00			`# History stuff.`
			`setopt HIST_VERIFY`
			`setopt INC_APPEND_HISTORY`
			`setopt SHARE_HISTORY`
			`setopt EXTENDED_HISTORY`
			`setopt HIST_IGNORE_DUPS`

			`## Command history configuration`
			`#`
would rather store history in $HOME and double size 2009-09-22 23:36:25 +01:00			`HISTFILE=$HOME/.zsh_history`
			`HISTSIZE=5000`
			`SAVEHIST=5000`
Importing initial files after reorganizing stuff. 2009-08-28 11:14:17 -07:00			`setopt hist_ignore_dups # ignore duplication command history list`
			`setopt share_history # share command history data`