diff options
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,5 +1,7 @@ #!/usr/bin/env bash +# -*- mode: bash; tab-width: 4 -*- # vi: ts=4:sw=4:et +# vim: filetype=bash if [ "${BASH_VERSINFO[0]}" -lt 4 ]; then echo "Your BASH shell version (${BASH_VERSION}) is too old." >&2 |