history.zsh 378 B

123456789101112131415
  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