New settings for history.
This commit is contained in:
parent
e081264573
commit
8448d1049b
1 changed files with 1 additions and 2 deletions
|
@ -8,8 +8,7 @@ export HISTFILE=$XDG_DATA_HOME/zsh/history
|
||||||
setopt HIST_IGNORE_ALL_DUPS
|
setopt HIST_IGNORE_ALL_DUPS
|
||||||
setopt HIST_SAVE_NO_DUPS
|
setopt HIST_SAVE_NO_DUPS
|
||||||
setopt HIST_REDUCE_BLANKS
|
setopt HIST_REDUCE_BLANKS
|
||||||
setopt INC_APPEND_HISTORY_TIME
|
setopt SHARE_HISTORY
|
||||||
setopt EXTENDED_HISTORY
|
|
||||||
|
|
||||||
export LESSHISTFILE='/dev/null'
|
export LESSHISTFILE='/dev/null'
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue