@ -1,9 +1,13 @@
## Command history configuration
if [ -z $HISTFILE ]; then
if [ -z "$HISTFILE" ]; then
HISTFILE=$HOME/.zsh_history
fi
HISTSIZE=10000
SAVEHIST=10000
if [ -z "$HISTSIZE" ]; then
if [ -z "$SAVEHIST" ]; then
setopt extended_history
setopt hist_expire_dups_first