1
0
mirror of https://github.com/sharkdp/bat.git synced 2025-07-03 21:53:20 +01:00

Replace #!/bin/bash with #!/usr/bin/env bash to improve compatibility with systems where /bin/bash is not available

This commit is contained in:
Matthias Devlamynck
2020-10-04 11:37:37 +02:00
parent 203d0bd8ae
commit b50bd58795
5 changed files with 5 additions and 5 deletions

2
tests/benchmarks/comparison.sh vendored Normal file → Executable file

@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
if ! which hyperfine > /dev/null 2>&1; then
echo "'hyperfine' does not seem to be installed."

2
tests/benchmarks/run-benchmarks.sh vendored Normal file → Executable file

@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
if ! which hyperfine > /dev/null 2>&1; then
echo "'hyperfine' does not seem to be installed."