summaryrefslogtreecommitdiff
path: root/bootstrap
diff options
context:
space:
mode:
authorXidorn Quan <github@upsuper.org>2018-01-06 01:35:33 (GMT)
committerGitHub <noreply@github.com>2018-01-06 01:35:33 (GMT)
commit0ea428bab5e9bd8836168850f33e885c54d4c112 (patch)
treec185754e9268a85fa6551af8edaaba2d59e89eb7 /bootstrap
parentadaa3a5d8b4e2834a8c2c79efcdd3c718236ba5a (diff)
Use /usr/bin/env to locate bash
On some systems (e.g. macOS), the bash provided by the system at `/bin/bash` is not new enough for the bootstrap script, while users may install a bash instance elsewhere. In that case, `/usr/bin/env` can get the bash in the current environment.
Diffstat (limited to 'bootstrap')
-rwxr-xr-xbootstrap2
1 files changed, 1 insertions, 1 deletions
diff --git a/bootstrap b/bootstrap
index e497467..a71a2b0 100755
--- a/bootstrap
+++ b/bootstrap
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
if [ "${BASH_VERSINFO[0]}" -lt 4 ]; then
echo "Your BASH shell version (${BASH_VERSION}) is too old." >&2