Enable shared history and a few other options I like
This commit is contained in:
parent
82c930f4d5
commit
9e180acee1
1 changed files with 8 additions and 3 deletions
|
@ -1,4 +1,9 @@
|
||||||
#! zsh
|
#! zsh
|
||||||
export HISTFILE=~/.zsh/zhistory
|
HISTFILE=~/.zsh/zhistory
|
||||||
export HISTSIZE=50000
|
HISTSIZE=50000
|
||||||
export SAVEHIST=$HISTSIZE
|
SAVEHIST=$HISTSIZE
|
||||||
|
|
||||||
|
setopt extended_history
|
||||||
|
setopt hist_ignore_all_dups hist_ignore_space
|
||||||
|
setopt hist_verify
|
||||||
|
setopt share_history
|
||||||
|
|
Loading…
Reference in a new issue