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>
This commit is contained in:
Paul Hollinsky 2024-02-11 14:34:58 -08:00
parent fbe3c4120f
commit 8e7d235513

View File

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
# vi: sw=2 ts=4
set -e