zsh_people/bruno_bonfils/rc/history.rc

   1 #
   2 # History options
   3 #
   4
   5 setopt EXTENDED_HISTORY         # add a timestamp and the duration of each command
   6 setopt SHARE_HISTORY            # _all_ zsh sessions share the same history files
   7 setopt HIST_IGNORE_ALL_DUPS     # ignores duplications
   8
   9 HISTFILE=~/.zsh/histories/${$(hostname)//.*/}
  10 HISTSIZE=10000
  11 SAVEHIST=10000
  12
  13 export HISTFILE HISTSIZE SAVEHIST