diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-02-25 01:54:04 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-02-25 01:54:04 +0100 |
| commit | 27f28018356c87db9b5710c3f66f01349a46b489 (patch) | |
| tree | 1a5b03630ae759a0206c0d0c8403b32434b14abc /contrib/vagrant | |
| parent | c4942479309a40c09c4659fa3e26280d3a121058 (diff) | |
sh is sufficient, does not seem to require bash specifically
Diffstat (limited to 'contrib/vagrant')
| -rw-r--r-- | contrib/vagrant/bootstrap.ubuntu.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/vagrant/bootstrap.ubuntu.sh b/contrib/vagrant/bootstrap.ubuntu.sh index 4bf032e3e..6b28d3075 100644 --- a/contrib/vagrant/bootstrap.ubuntu.sh +++ b/contrib/vagrant/bootstrap.ubuntu.sh @@ -1,4 +1,4 @@ -#/bin/bash +#/bin/sh # Source https://gnunet.org/dependencies and README apt-get update |