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 f41635e190e92d8b4178998b21a78973047b85b8..151e0837a86249bf1541d65ee60331b4cbb91736 100644 (file)
--- a/plugins/terminal/resources/.zshrc
+++ b/plugins/terminal/resources/.zshrc
@@ -4,11 +4,20 @@
 bindkey '^[^[[C' forward-word
 bindkey '^[^[[D' backward-word
 
 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
      source "$HOME/.zshrc"
 if [ -f "$HOME/.zshrc" ]; then
      source "$HOME/.zshrc"

-  fi
+fi

 
 if [ -n "$JEDITERM_SOURCE" ]
 then
   source $JEDITERM_SOURCE
 
 if [ -n "$JEDITERM_SOURCE" ]
 then
   source $JEDITERM_SOURCE

+  unset JEDITERM_SOURCE

 fi
\ No newline at end of file
 fi
\ No newline at end of file