diff options
| author | Ben Beltran <ben@nsovocal.com> | 2020-02-16 14:40:26 +0100 |
|---|---|---|
| committer | Ben Beltran <ben@nsovocal.com> | 2020-02-16 14:40:26 +0100 |
| commit | fa25023586cb94a1abf4fd3ff95ebe7c3c8ead09 (patch) | |
| tree | 87404d2a291facd6d7fd567fe251bc1c12f688c8 /zsh/modules/history.zsh | |
| parent | f6272d88eae76c8553f237f3f318c4a97997f262 (diff) | |
Remove prezto
Diffstat (limited to 'zsh/modules/history.zsh')
| -rw-r--r-- | zsh/modules/history.zsh | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/zsh/modules/history.zsh b/zsh/modules/history.zsh new file mode 100644 index 0000000..0191b00 --- /dev/null +++ b/zsh/modules/history.zsh @@ -0,0 +1,32 @@ +# +# Sets history options and defines history aliases. +# +# Authors: +# Robby Russell <robby@planetargon.com> +# Sorin Ionescu <sorin.ionescu@gmail.com> +# + +# +# Variables +# + +HISTFILE="${ZDOTDIR:-$HOME}/.zhistory" # The path to the history file. +HISTSIZE=10000 # The maximum number of events to save in the internal history. +SAVEHIST=10000 # The maximum number of events to save in the history file. + +# +# Options +# + +setopt BANG_HIST # Treat the '!' character specially during expansion. +setopt EXTENDED_HISTORY # Write the history file in the ':start:elapsed;command' format. +setopt INC_APPEND_HISTORY # Write to the history file immediately, not when the shell exits. +setopt SHARE_HISTORY # Share history between all sessions. +setopt HIST_EXPIRE_DUPS_FIRST # Expire a duplicate event first when trimming history. +setopt HIST_IGNORE_DUPS # Do not record an event that was just recorded again. +setopt HIST_IGNORE_ALL_DUPS # Delete an old recorded event if a new event is a duplicate. +setopt HIST_FIND_NO_DUPS # Do not display a previously found event. +setopt HIST_IGNORE_SPACE # Do not record an event starting with a space. +setopt HIST_SAVE_NO_DUPS # Do not write a duplicate event to the history file. +setopt HIST_VERIFY # Do not execute immediately upon history expansion. +setopt HIST_BEEP # Beep when accessing non-existent history. |