Fix deleting wrong history file.
This commit is contained in:
parent
1a4f241593
commit
5a18128361
1 changed files with 1 additions and 1 deletions
|
@ -16,7 +16,7 @@ setopt HIST_SAVE_NO_DUPS
|
||||||
setopt HIST_REDUCE_BLANKS
|
setopt HIST_REDUCE_BLANKS
|
||||||
setopt SHARE_HISTORY
|
setopt SHARE_HISTORY
|
||||||
setopt INC_APPEND_HISTORY
|
setopt INC_APPEND_HISTORY
|
||||||
rm "${ZDOTDIR}/.zsh_history" && ln -sf "${XDG_DATA_HOME}/zsh/history" "${ZDOTDIR}/.zsh_history"
|
rm -rf "${ZDOTDIR}/.zsh_history" && ln -sf "${XDG_DATA_HOME}/zsh/history" "${ZDOTDIR}/.zsh_history"
|
||||||
|
|
||||||
# set path
|
# set path
|
||||||
path=(~/.local/bin "${path[@]}")
|
path=(~/.local/bin "${path[@]}")
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue