Default to /bin/sh if /bin/bash is absent

diff --git a/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalOptionsProvider.java b/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalOptionsProvider.java
index 5f2926fddea5c3bec717e7ac2e5b11274ab242b2..01466b72610a82f71879b4234a8053a36bc923a1 100644 (file)
--- a/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalOptionsProvider.java
+++ b/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalOptionsProvider.java
@@ -111,7 +111,11 @@ public class TerminalOptionsProvider implements PersistentStateComponent<Termina
     }
 
     if (SystemInfo.isUnix) {
-      return "/bin/bash";
+      if (new File("/bin/bash").exists()) {
+        return "/bin/bash";
+      } else {
+        return "/bin/sh";
+      }
     }
     else {
       return "cmd.exe";