git.r.bdr.sh - rbdr/dotfiles/blob - zsh/modules/history.zsh

   1 #
   2 # Sets history options and defines history aliases.
   3 #
   4 # Authors:
   5 #   Robby Russell <robby@planetargon.com>
   6 #   Sorin Ionescu <sorin.ionescu@gmail.com>
   7 #
   8
   9 #
  10 # Variables
  11 #
  12
  13 HISTFILE="${ZDOTDIR:-$HOME}/.zhistory"       # The path to the history file.
  14 HISTSIZE=10000                   # The maximum number of events to save in the internal history.
  15 SAVEHIST=10000                   # The maximum number of events to save in the history file.
  16
  17 #
  18 # Options
  19 #
  20
  21 setopt BANG_HIST                 # Treat the '!' character specially during expansion.
  22 setopt EXTENDED_HISTORY          # Write the history file in the ':start:elapsed;command' format.
  23 setopt INC_APPEND_HISTORY        # Write to the history file immediately, not when the shell exits.
  24 setopt SHARE_HISTORY             # Share history between all sessions.
  25 setopt HIST_EXPIRE_DUPS_FIRST    # Expire a duplicate event first when trimming history.
  26 setopt HIST_IGNORE_DUPS          # Do not record an event that was just recorded again.
  27 setopt HIST_IGNORE_ALL_DUPS      # Delete an old recorded event if a new event is a duplicate.
  28 setopt HIST_FIND_NO_DUPS         # Do not display a previously found event.
  29 setopt HIST_IGNORE_SPACE         # Do not record an event starting with a space.
  30 setopt HIST_SAVE_NO_DUPS         # Do not write a duplicate event to the history file.
  31 setopt HIST_VERIFY               # Do not execute immediately upon history expansion.
  32 setopt HIST_BEEP                 # Beep when accessing non-existent history.