Paul Hollinsky 8e7d235513 tools/toolbox: Explicitly use /bin/bash ...

The script uses bash-specific language extensions which cause syntax
errors when run with /bin/sh -> /bin/dash.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3186>

2024-02-11 14:41:31 -08:00

..

toolbox

tools/toolbox: Explicitly use /bin/bash

2024-02-11 14:41:31 -08:00