history.zsh 383 B

123456789101112131415
  1. # history options
  2. setopt EXTENDED_HISTORY # add a timestamp and the duration of each command
  3. setopt SHARE_HISTORY # _all_ zsh sessions share the same history files
  4. setopt HIST_IGNORE_ALL_DUPS # ignores duplications
  5. HISTDIR=$DOTZSHDIR/history
  6. [ ! -d $HISTDIR ] && mkdir -p $HISTDIR
  7. HISTFILE=$HISTDIR/history
  8. HISTSIZE=1000000
  9. SAVEHIST=1000000
  10. export HISTFILE HISTSIZE SAVEHIST