.zsh/zshrc/80-history

   1 #
   2 # Configure history file storage
   3 #
   4 # Copyright © 1994–2017 martin f. krafft <madduck@madduck.net>
   5 # Released under the terms of the Artistic Licence 2.0
   6 #
   7 # Source repository: http://git.madduck.net/v/etc/zsh.git
   8 #
   9
  10 # typeset -g on this one to make warn_create_global happy
  11 typeset -g HISTFILE=$ZVARDIR/history-$HOST
  12 HISTSIZE=10000
  13 SAVEHIST=$HISTSIZE
  14 LISTMAX=1000
  15
  16 # properly lock the file on write (better on modern operating systems)
  17 setopt hist_fcntl_lock
  18
  19 # add history lines to the $HISTFILE incrementally (as soon as they are
  20 # entered), rather than waiting until the shell exits.
  21 setopt inc_append_history
  22 setopt no_append_history
  23
  24 # do not store duplicates in the history file
  25 setopt hist_ignore_dups
  26
  27 # don't store commands starting with a space in the history file
  28 setopt hist_ignore_space
  29
  30 # remove superfluous blanks from each command line
  31 setopt hist_reduce_blanks
  32
  33 # skip over non-contiguous duplicates when searching history
  34 setopt hist_find_no_dups
  35
  36 # save timestamp and duration with each event
  37 setopt extended_history
  38
  39 # vim:ft=zsh