edu4rdshl/gnome-shell
1
0
Fork 0
mirror of https://github.com/edu4rdshl/gnome-shell.git synced 2026-07-17 23:24:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

tools/toolbox: Explicitly use /bin/bash

Browse source 
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)
This commit is contained in:
Paul Hollinsky 2024-02-11 14:34:58 -08:00 • committed by Florian Müllner
parent 603790e667
commit bcef6a15cd
No known key found for this signature in database
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tools/toolbox/create-toolbox.sh
View file

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