From 0ea428bab5e9bd8836168850f33e885c54d4c112 Mon Sep 17 00:00:00 2001
From: Xidorn Quan <github@upsuper.org>
Date: Sat, 6 Jan 2018 12:35:33 +1100
Subject: [PATCH] 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.
---
 bootstrap | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bootstrap b/bootstrap
index e4974676..a71a2b0c 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