diff options
| author | windrammer <31085911+likeawindrammer@users.noreply.github.com> | 2019-07-20 16:13:52 -0600 |
|---|---|---|
| committer | oldmud0 <oldmud0@users.noreply.github.com> | 2019-07-20 17:30:46 -0500 |
| commit | 16947224a2ced1d1a8767996388feb9ad2a46ebd (patch) | |
| tree | 7188bef07faf3efd6f5d64cc2f892df11e2572b2 | |
| parent | e0c49ceb0720fabc777e178e1c8ce76ec7ef42e9 (diff) | |
Change the shebang of configure_ubuntu.sh from sh to bash
because the script it's using the bash only variable BASH_SOURCE
| -rwxr-xr-x | scripts/configure_ubuntu.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/configure_ubuntu.sh b/scripts/configure_ubuntu.sh index 159dc4d1..1f9b8e83 100755 --- a/scripts/configure_ubuntu.sh +++ b/scripts/configure_ubuntu.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Assumes a somewhat recent 64-bit ubuntu |