Restore the original value of ZDOTDIR (IDEA-163404)

[idea/community.git] / plugins / terminal / resources / .zshrc

diff --git a/plugins/terminal/resources/.zshrc b/plugins/terminal/resources/.zshrc
index 72c38b82dc24d4b4b8886a6bf9cd1dd1e7ccdcf5..151e0837a86249bf1541d65ee60331b4cbb91736 100644 (file)
--- a/plugins/terminal/resources/.zshrc
+++ b/plugins/terminal/resources/.zshrc
@@ -4,9 +4,12 @@
 bindkey '^[^[[C' forward-word
 bindkey '^[^[[D' backward-word
 
+ZDOTDIR=$_OLD_ZDOTDIR
+
 if [ -n "$JEDITERM_USER_RCFILE" ]
 then
   source $JEDITERM_USER_RCFILE
+  unset JEDITERM_USER_RCFILE
 fi
 
 if [ -f "$HOME/.zshrc" ]; then
@@ -16,4 +19,5 @@ fi
 if [ -n "$JEDITERM_SOURCE" ]
 then
   source $JEDITERM_SOURCE
+  unset JEDITERM_SOURCE
 fi
\ No newline at end of file