shell scripts: use /usr/bin/env bash instead of /bin/bash (#14398)

The unpac monorepo manager self-hosting as a monorepo using unpac

There are systems without /bin/bash (Free/Net/OpenBSD, some Linux distributions)
We use /usr/bin/env to run bash. Another option is to revise these scripts to
use sh (see shellcheck.net, and POSIX), but I'm not going down the rabbit hole
right now. ;)

authored by

Hannes Mehnert and committed by

GitHub 6 months ago 935fbe73 19c757bc

+3 -3

3 changed files

expand all

testsuite

tests

lib-dynlink-pr14323

test.sh

native-debugger

has_lldb.sh

tools

list-globals

+1 -1

testsuite/tests/lib-dynlink-pr14323/test.sh

··· 1 - #!/bin/bash 1 + #!/usr/bin/env bash 2 2 3 3 set -euo pipefail 4 4

+1 -1

testsuite/tests/native-debugger/has_lldb.sh

··· 1 - #!/bin/bash 1 + #!/usr/bin/env bash 2 2 3 3 OCAML_OS="$1" 4 4

+1 -1

tools/list-globals

··· 1 - #!/bin/bash 1 + #!/usr/bin/env bash 2 2 3 3 #************************************************************************** 4 4 #* *

Configure Feed

Configure Feed