edu4rdshl/gnome-shell
1
0
Fork 0
mirror of https://github.com/edu4rdshl/gnome-shell.git synced 2026-07-18 07:34:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
gnome-shell/tools
History
Paul Hollinsky bcef6a15cd
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>
(cherry picked from commit 8e7d235513)
2024-03-15 18:12:48 +01:00
..
build *: Fix spelling mistakes found by codespell 2020-08-21 18:25:09 +00:00
toolbox tools/toolbox: Explicitly use /bin/bash 2024-03-15 18:12:48 +01:00