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 c47d6a34a83765d89ea7fe5b7e626b3b8f917174..151e0837a86249bf1541d65ee60331b4cbb91736 100644 (file)
--- a/plugins/terminal/resources/.zshrc
+++ b/plugins/terminal/resources/.zshrc
@@ -4,6 +4,8 @@
 bindkey '^[^[[C' forward-word
 bindkey '^[^[[D' backward-word
 
+ZDOTDIR=$_OLD_ZDOTDIR
+
 if [ -n "$JEDITERM_USER_RCFILE" ]
 then
   source $JEDITERM_USER_RCFILE