[zsh] Sharing history is boring
This commit is contained in:
parent
4976ec5c47
commit
fd1234b5eb
@ -13,7 +13,7 @@ PROMPT_COMMAND='history -a'
|
|||||||
setopt append_history autocd extendedglob nomatch
|
setopt append_history autocd extendedglob nomatch
|
||||||
setopt hist_ignore_dups # ignore duplication command history list
|
setopt hist_ignore_dups # ignore duplication command history list
|
||||||
setopt hist_ignore_space # ignore line starting by a space
|
setopt hist_ignore_space # ignore line starting by a space
|
||||||
setopt share_history # share command history data
|
#setopt share_history # share command history data
|
||||||
|
|
||||||
#Doing this, only past commands beginning with the current input would've been shown.
|
#Doing this, only past commands beginning with the current input would've been shown.
|
||||||
bindkey "^[[A" history-search-backward
|
bindkey "^[[A" history-search-backward
|
||||||
|
Loading…
Reference in New Issue
Block a user