ohmyzsh/lib/history.zsh

## Command history configuration
if [ -z "$HISTFILE" ]; then
    HISTFILE=$HOME/.zsh_history
fi
if [ -z "$HISTSIZE" ]; then
    HISTSIZE=10000
fi
if [ -z "$SAVEHIST" ]; then
    SAVEHIST=10000
fi

setopt extended_history
setopt hist_expire_dups_first
setopt hist_ignore_dups # ignore duplication command history list
setopt hist_ignore_space
setopt hist_verify
setopt inc_append_history
setopt share_history # share command history data
Importing initial files after reorganizing stuff. 2009-08-28 11:14:17 -07:00			`## Command history configuration`
Don't clobber HISTSIZE or SAVEHIST if they're already set 2014-11-30 18:37:47 -07:00			`if [ -z "$HISTFILE" ]; then`
allow setting a custom HISTFILE before oh-my-zsh is loaded 2013-03-15 14:07:47 -07:00			`HISTFILE=$HOME/.zsh_history`
			`fi`
Don't clobber HISTSIZE or SAVEHIST if they're already set 2014-11-30 18:37:47 -07:00			`if [ -z "$HISTSIZE" ]; then`
Existing code indents with spaces, not tabs, conform. 2014-11-30 18:39:21 -07:00			`HISTSIZE=10000`
Don't clobber HISTSIZE or SAVEHIST if they're already set 2014-11-30 18:37:47 -07:00			`fi`
			`if [ -z "$SAVEHIST" ]; then`
Existing code indents with spaces, not tabs, conform. 2014-11-30 18:39:21 -07:00			`SAVEHIST=10000`
Don't clobber HISTSIZE or SAVEHIST if they're already set 2014-11-30 18:37:47 -07:00			`fi`
merge upstream 2009-09-23 08:14:04 -07:00
tidy up history 2009-09-22 16:44:57 -07:00			`setopt extended_history`
			`setopt hist_expire_dups_first`
Removed duplicate setting and sorted the remaining 2011-12-03 05:18:37 -07:00			`setopt hist_ignore_dups # ignore duplication command history list`
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 06:16:33 -07:00			`setopt hist_ignore_space`
Removed duplicate setting and sorted the remaining 2011-12-03 05:18:37 -07:00			`setopt hist_verify`
			`setopt inc_append_history`
			`setopt share_history # share command history data`