/bin/sh compatibility

This commit is contained in:
Bryan Black 2018-05-14 21:47:18 -07:00 committed by GitHub
parent 58ce5f14f2
commit 7c04dfed2b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,4 +1,4 @@
#!/bin/bash
#!/bin/sh
# c-basic-offset: 4; tab-width: 4; indent-tabs-mode: t
# vi: set shiftwidth=4 tabstop=4 noexpandtab:
@ -6,7 +6,9 @@
set -o nounset
set -o errexit
set -o pipefail
# Uncomment for enhancements in bash
#set -o pipefail
vagrant up