projects / idea / community.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5528e11)
Fix shell script syntax
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Mon, 10 Oct 2016 20:08:06 +0000 (22:08 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 11 Oct 2016 02:14:51 +0000 (04:14 +0200)
plugins/terminal/resources/jediterm-sh.in patch | blob | history

diff --git a/plugins/terminal/resources/jediterm-sh.in b/plugins/terminal/resources/jediterm-sh.in
index f3c8300738552d6af27a4de6c16ff8f6afe376a8..8819720d23b5ef494ebbc4c30e88c27361451d6a 100644 (file)
--- a/plugins/terminal/resources/jediterm-sh.in
+++ b/plugins/terminal/resources/jediterm-sh.in
@@ -33,6 +33,7 @@ function load_interactive_configs {
 
 if [ `shopt -q login_shell` ]; then
   load_login_configs
+fi
 
 load_interactive_configs
 
IntelliJ IDEA Community Edition and IntelliJ Platform.