# history options

setopt EXTENDED_HISTORY		# add a timestamp and the duration of each command
setopt SHARE_HISTORY	 	# _all_ zsh sessions share the same history files
setopt HIST_IGNORE_ALL_DUPS	# ignores duplications

HISTDIR=$DOTZSHDIR/history
[ ! -d $HISTDIR ] && mkdir -p $HISTDIR
HISTFILE=$HISTDIR/history

HISTSIZE=1000000
SAVEHIST=1000000

export HISTFILE HISTSIZE SAVEHIST