Use env to launch bash

/bin/bash is not available on all system
epfl-lara · Jun 19, 2017 · 23c7205 · 23c7205
1 parent 6f1cbe8
commit 23c7205
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/build.sbt b/build.sbt
@@ -168,7 +168,9 @@ val scriptSettings: Seq[Setting[_]] = Seq(
       }
 
       val paths = scriptPath.value
-      IO.write(scriptFile, s"""|#!/bin/bash --posix
+      IO.write(scriptFile, s"""|#!/usr/bin/env bash
+                               |
+                               |set -o posix
                                |
                                |set -o pipefail
                                |