|
@@ -3,10 +3,10 @@ if [ -z "$HISTFILE" ]; then
|
|
HISTFILE=$HOME/.zsh_history
|
|
HISTFILE=$HOME/.zsh_history
|
|
fi
|
|
fi
|
|
if [ -z "$HISTSIZE" ]; then
|
|
if [ -z "$HISTSIZE" ]; then
|
|
- HISTSIZE=10000
|
|
|
|
|
|
+ HISTSIZE=10000
|
|
fi
|
|
fi
|
|
if [ -z "$SAVEHIST" ]; then
|
|
if [ -z "$SAVEHIST" ]; then
|
|
- SAVEHIST=10000
|
|
|
|
|
|
+ SAVEHIST=10000
|
|
fi
|
|
fi
|
|
|
|
|
|
setopt extended_history
|
|
setopt extended_history
|