Adding options for zsh history.
This commit is contained in:
parent
7174d3d2ca
commit
f9d5f98fb6
9
.zshrc
9
.zshrc
|
@ -10,6 +10,15 @@ setopt APPEND_HISTORY
|
||||||
setopt EXTENDED_HISTORY
|
setopt EXTENDED_HISTORY
|
||||||
setopt EXTENDED_GLOB
|
setopt EXTENDED_GLOB
|
||||||
|
|
||||||
|
# number of lines kept in history
|
||||||
|
export HISTSIZE=1000
|
||||||
|
# number of lines saved in the history after logout
|
||||||
|
export SAVEHIST=1000
|
||||||
|
# location of history
|
||||||
|
export HISTFILE=~/.zhistory
|
||||||
|
# append command to history file once executed
|
||||||
|
setopt inc_append_history
|
||||||
|
|
||||||
#aliases
|
#aliases
|
||||||
alias rmdir='rm -r'
|
alias rmdir='rm -r'
|
||||||
alias sl='ls'
|
alias sl='ls'
|
||||||
|
|
Loading…
Reference in New Issue