restore user's ZDOTDIR for non-login shells w shell integration (#1…

…57520) fix #157128
microsoft · Aug 8, 2022 · 3bc5735 · 3bc5735
1 parent 3ee20fe
commit 3bc5735
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/vs/workbench/contrib/terminal/browser/media/shellIntegration-rc.zsh b/src/vs/workbench/contrib/terminal/browser/media/shellIntegration-rc.zsh
@@ -126,3 +126,7 @@ __vsc_preexec() {
 }
 add-zsh-hook precmd __vsc_precmd
 add-zsh-hook preexec __vsc_preexec
+
+if [[ $options[login] = off ]]; then
+	ZDOTDIR=$USER_ZDOTDIR
+fi