Explicitly use #!/bin/bash for install script (dotnet#15)

directhex · akoeplinger · commit 735b8acdb316 · 2017-06-19T15:09:44.000+02:00
One of the line copies uses non-POSIX wildcard matching semantics, which breaks on any system where /bin/sh is not Bash or similar (e.g. most Debian derivatives)
diff --git a/install-mono-prefix.sh b/install-mono-prefix.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -e
 set -x
 if [ $# -ne 1 ]; then

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-#!/bin/sh`
	`1`	`+#!/bin/bash`
`2`	`2`	`set -e`
`3`	`3`	`set -x`
`4`	`4`	`if [ $# -ne 1 ]; then`