Isue #261: make sure we're using bash shell [ci skip]

GsDevKit · Oct 26, 2019 · c527903 · c527903
1 parent fd96f72
commit c527903
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/...vkit_launcher-Core.package/AbstractGsDevKitProgram.class/class/performOnServer.status..st b/...vkit_launcher-Core.package/AbstractGsDevKitProgram.class/class/performOnServer.status..st
@@ -1,5 +1,7 @@
 shell utilities
 performOnServer: commandLine status: statusBlock
   | performOnServerStatusArray |
-  performOnServerStatusArray := System _performOnServer: commandLine.
+  performOnServerStatusArray := System
+    _performOnServer: commandLine
+    withShell: '/bin/bash'.
   ^ statusBlock value: performOnServerStatusArray