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)
commit27f28018356c87db9b5710c3f66f01349a46b489
tree1a5b03630ae759a0206c0d0c8403b32434b14abc
parentc4942479309a40c09c4659fa3e26280d3a121058
sh is sufficient, does not seem to require bash specifically
contrib/vagrant/bootstrap.ubuntu.sh