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

zsh: Fix shell history settings

Browse source 
For the longest time, shell history ignore was set to the bash version
of the setting. Zsh uses both a different variable and a different
format to ignore various commands in the history.

Additionally increased the history size one order of magnitude,
so we really don't lose anything. Should still be fine for personal
computing work anyway.
This commit is contained in:
Marty Oehme 2021-11-16 12:18:39 +01:00
parent 5ac9ca02f0
commit 6a86deef87
Signed by: Marty
GPG key ID: B7538B8F50A1C800
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
zsh/.config/zsh/.zshrc
View file

@ -118,10 +118,10 @@ setopt inc_append_history_time # append command to history file immediately afte
setopt share_history # Share your history across all your terminal windows setopt share_history # Share your history across all your terminal windows
setopt pushd_ignore_dups setopt pushd_ignore_dups
#setopt pushd_silent #setopt pushd_silent
export HISTSIZE=100000 export HISTSIZE=1000000
export SAVEHIST=100000 export SAVEHIST=1000000
export HISTFILE="$XDG_DATA_HOME/zsh_history" export HISTFILE="$XDG_DATA_HOME/zsh_history"
export HISTIGNORE="ls:cd:cd -:pwd:exit:date:* --help" export HISTORY_IGNORE="(jrnl *|l *|ls *|z *|cd *|cd -|pwd|pwd *|exit|date)"
## Set ZSH History aliases ## Set ZSH History aliases
# Show the top 5 commands used in recent history # Show the top 5 commands used in recent history