From 9a87da1c6d7e0df45941ea132210e4eb1ff5fa11 Mon Sep 17 00:00:00 2001
From: Dmitry Trofimov <dmitry.trofimov@jetbrains.com>
Date: Fri, 9 Nov 2018 19:00:52 +0100
Subject: [PATCH] Fix conda activation for zsh

---
 plugins/terminal/resources/.zshrc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/plugins/terminal/resources/.zshrc b/plugins/terminal/resources/.zshrc
index ddfb9ff9d75a..f7332c1eeb0e 100644
--- a/plugins/terminal/resources/.zshrc
+++ b/plugins/terminal/resources/.zshrc
@@ -41,8 +41,9 @@ fi
 
 if [ -n "$JEDITERM_SOURCE" ]
 then
-  source $(echo $JEDITERM_SOURCE)
+  source $(echo $JEDITERM_SOURCE) $JEDITERM_SOURCE_ARGS
   unset JEDITERM_SOURCE
+  unset JEDITERM_SOURCE_ARGS
 fi
 
 function override_jb_variables {