preisi/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

zsh: history: move relevant setopts into history.zsh

Browse source 
Also don't share history between terminals instantly.
This commit is contained in:
Thomas Preisner 2017-07-10 03:00:17 +02:00
parent 7c64d5a801
commit 8e51223d86
2 changed files with 20 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

20
zsh/history.zsh
View file

@ -1,3 +1,23 @@
# ===== setopts
# allow multiple terminal sessions to all append to one zsh command history
setopt append_history
# save timestamp of command and duration
setopt extended_history
# add commands as they are typed, don't wait until shell exit
setopt inc_append_history
# when trimming history, lose oldest duplicates first
setopt hist_expire_dups_first
# do not write events to history that are duplicates of previous events
setopt hist_ignore_dups
# do not add command lines to history that start with a space
setopt hist_ignore_space
# when searching history don't display results already cycled through twice
setopt hist_find_no_dups
# remove extra blanks from each command line being added to history
setopt hist_reduce_blanks
# don't execute, just expand history
setopt hist_verify
# ===== History
HISTSIZE=1000000
SAVEHIST=1000000