Replace #!/bin/bash with #!/usr/bin/env bash to improve compatibility with systems where /bin/bash is not available
commitb50bd587954e8467cf6141b8c86ca416e74fb26c
authorMatthias Devlamynck <matthias.devlamynck@mailoo.org>
dateSun 4 Oct 2020, 11:37 (6 years ago)
parent203d0bd
assets/create.sh+1−1
@@ -1,4 +1,4 @@
1−#!/bin/bash
1+#!/usr/bin/env bash
22set -euo pipefail
33
44ASSET_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
tests/benchmarks/comparison.shmode 100644 → 100755+1−1
@@ -1,4 +1,4 @@
1−#!/bin/bash
1+#!/usr/bin/env bash
22
33if ! which hyperfine > /dev/null 2>&1; then
44 echo "'hyperfine' does not seem to be installed."
tests/benchmarks/run-benchmarks.shmode 100644 → 100755+1−1
@@ -1,4 +1,4 @@
1−#!/bin/bash
1+#!/usr/bin/env bash
22
33if ! which hyperfine > /dev/null 2>&1; then
44 echo "'hyperfine' does not seem to be installed."
tests/syntax-tests/regression_test.sh+1−1
@@ -1,4 +1,4 @@
1−#!/bin/bash
1+#!/usr/bin/env bash
22
33set -eou pipefail
44
tests/syntax-tests/update.shmode 100644 → 100755+1−1
@@ -1,4 +1,4 @@
1−#!/bin/bash
1+#!/usr/bin/env bash
22
33python="python3"
44if ! command -v python3 &>/dev/null; then python="python"; fi