.zsh/zshrc/80_history

   1 # zshrc/80_history
   2 #
   3 # Set up command line history functions
   4 #
   5 # Copyright © 1994–2017 martin f. krafft <madduck@madduck.net>
   6 # Released under the terms of the Artistic Licence 2.0
   7 #
   8 # Source repository: http://git.madduck.net/v/etc/zsh.git
   9 #
  10
  11 # typeset -g on this one to make warn_create_global happy
  12 typeset -g HISTFILE=$ZVARDIR/history-$HOST
  13 [[ -e $ZVARDIR/history ]] && mv $ZVARDIR/history $HISTFILE
  14 HISTSIZE=10000
  15 SAVEHIST=$HISTSIZE
  16 LISTMAX=1000
  17
  18 # treat ! specially like csh did
  19 setopt bang_hist
  20
  21 # ignore duplicates in the history
  22 setopt hist_ignore_dups
  23
  24 # save timestamp and duration with each event
  25 setopt extended_history
  26
  27 # properly lock the file on write, if that option exists
  28 setopt hist_fcntl_lock 2>/dev/null
  29
  30 # skip over non-contiguous duplicates when searching history
  31 setopt hist_find_no_dups
  32
  33 # don't store commands starting with a space in the history file
  34 setopt hist_ignore_space
  35
  36 # don't store history/fc -l invocations
  37 setopt hist_no_store
  38
  39 # remove superfluous blanks from each command line
  40 setopt hist_reduce_blanks
  41
  42 # vim:ft=zsh