After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 722353 - #!/bin/bash in docs/tools/
#!/bin/bash in docs/tools/
Product: tracker
Classification: Core
Component: General
Other FreeBSD
: Normal normal
: ---
Assigned To: tracker-general
Depends on:
Reported: 2014-01-16 16:41 UTC by Ting-Wei Lan
Modified: 2014-01-17 10:22 UTC
See Also:
GNOME target: ---
GNOME version: ---

Description Ting-Wei Lan 2014-01-16 16:41:25 UTC
Some systems do not have bash installed in /bin. Change it to #!/usr/bin/env bash is more portable.
Comment 1 Martyn Russell 2014-01-17 10:22:04 UTC
Thank you Tin, the script has now been updated! :)

commit 2c4ce14f09e85fb71ec1f452be054d9d7b3a61f8
Author: Martyn Russell <>
Date:   Fri Jan 17 09:48:30 2014 +0000

    docs/tools: make more portable, don't use /bin/bash