.zsh/zshrc/80_history

   1 # zshrc/80_history
   2 #
   3 # Set up command line history functions
   4 #
   5 # Copyright © 1994–2008 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
  13 HISTSIZE=10000
  14 SAVEHIST=$HISTSIZE
  15 LISTMAX=1000
  16
  17 # treat ! specially like csh did
  18 setopt bang_hist
  19
  20 # ignore duplicates in the history
  21 setopt hist_ignore_dups
  22
  23 # save timestamp and duration with each event
  24 setopt extended_history
  25
  26 # properly lock the file on write
  27 autoload -U is-at-least
  28 # actually ignores the -dev-* stuff, but so be it
  29 is-at-least 4.3.6-dev-0+0417 && setopt hist_fcntl_lock
  30
  31 # skip over non-contiguous duplicates when searching history
  32 setopt hist_find_no_dups
  33
  34 # don't store commands starting with a space in the history file
  35 setopt hist_ignore_space
  36
  37 # don't store history/fc -l invocations
  38 setopt hist_no_store
  39
  40 # remove superfluous blanks from each command line
  41 setopt hist_reduce_blanks
  42
  43 # vim:ft=zsh