sh is sufficient, does not seem to require bash specifically
authorChristian Grothoff <christian@grothoff.org>
Sat, 25 Feb 2017 00:54:04 +0000 (01:54 +0100)
committerChristian Grothoff <christian@grothoff.org>
Sat, 25 Feb 2017 00:54:04 +0000 (01:54 +0100)
contrib/vagrant/bootstrap.ubuntu.sh

index 4bf032e3e785674a14a298e59b26d4ddb64ee01f..6b28d3075259f2dc11910a6daf4ab0f666f5d261 100644 (file)
@@ -1,4 +1,4 @@
-#/bin/bash
+#/bin/sh
 # Source https://gnunet.org/dependencies and README
 
 apt-get update