use user's .zsh_history (#154300)

This commit is contained in:
Megan Rogge 2022-07-06 22:17:44 -04:00 committed by GitHub
parent 374066b829
commit 93d1f7c881
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -21,6 +21,10 @@ if [[ "$VSCODE_INJECTION" == "1" ]]; then
. $USER_ZDOTDIR/.zshrc
ZDOTDIR=$VSCODE_ZDOTDIR
fi
if [[ -f $USER_ZDOTDIR/.zsh_history ]]; then
HISTFILE=$USER_ZDOTDIR/.zsh_history
fi
fi
# Shell integration was disabled by the shell, exit without warning assuming either the shell has