Default bash on MacOS is 3., but these scripts need 5., so this PR changes the #! line in these shell scripts to use /usr/bin/env bash to find and run bash instead of using /bin/bash, which allows users to install a more recent version of bash and have it picked up.
Default bash on MacOS is 3., but these scripts need 5., so this PR changes the
#!
line in these shell scripts to use/usr/bin/env bash
to find and run bash instead of using/bin/bash
, which allows users to install a more recent version of bash and have it picked up.