try to fix zsh history file
This commit is contained in:
parent
4110c8534a
commit
54045e45fd
1 changed files with 5 additions and 1 deletions
|
|
@ -9,8 +9,12 @@ function precmd() {
|
|||
# [ -n "${DISPLAY}" ] && /home/hybris/.scripts/term-fontsize
|
||||
}
|
||||
|
||||
# do not share history between terms...
|
||||
# history file
|
||||
unsetopt share_history
|
||||
setopt INC_APPEND_HISTORY
|
||||
setopt HIST_EXPIRE_DUPS_FIRST
|
||||
HISTSIZE=500000
|
||||
SAVEHIST=500000
|
||||
|
||||
# Everyday aliases
|
||||
catwhich() {echo "\e[35mPath: $(which $1)\n\e[39m"; cat $(which $1)}
|
||||
|
|
|
|||
Loading…
Reference in a new issue