history.zsh 393 B

1234567891011121314151617
  1. # history options
  2. setopt extendedhistory # add a timestamp and the duration of each command
  3. setopt sharehistory # _all_ zsh sessions share the same history files
  4. setopt histignorealldups # 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
  11. unset HISTDIR