ohmyzsh/lib/history.zsh

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

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
setopt hist_ignore_space

setopt SHARE_HISTORY
setopt APPEND_HISTORY
Importing initial files after reorganizing stuff. 2009-08-29 02:14:17 +08:00			`## Command history configuration`
would rather store history in $HOME and double size 2009-09-23 06:36:25 +08:00			`HISTFILE=$HOME/.zsh_history`
Bumping up history to 10k commands 2009-09-23 23:07:02 +08:00			`HISTSIZE=10000`
			`SAVEHIST=10000`
merge upstream 2009-09-23 23:14:04 +08:00
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`
tidy up history 2009-09-23 07:44:57 +08:00
			`setopt hist_verify`
			`setopt inc_append_history`
			`setopt extended_history`
			`setopt hist_expire_dups_first`
Ignore commands that start with a space. This is useful when you want to use a dangerous command, as it won't be available with history searching. 2010-05-09 21:16:33 +08:00			`setopt hist_ignore_space`
share history with your zsh's on the same host 2010-03-31 01:31:41 +08:00
			`setopt SHARE_HISTORY`
			`setopt APPEND_HISTORY`