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 722534 - #!/bin/bash in
#!/bin/bash in
Product: gnome-sound-recorder
Classification: Other
Component: General
Other FreeBSD
: Normal normal
: ---
Assigned To: gnome-sound-recorder maintainer(s)
gnome-sound-recorder maintainer(s)
Depends on:
Reported: 2014-01-19 07:40 UTC by Ting-Wei Lan
Modified: 2014-01-20 03:09 UTC
See Also:
GNOME target: ---
GNOME version: ---

Change /bin/bash to /bin/sh in (220 bytes, patch)
2014-01-20 02:25 UTC, Ting-Wei Lan
none Details | Review

Description Ting-Wei Lan 2014-01-19 07:40:39 UTC
Some systems do not have bash installed in /bin, and gnome-sound-recorder does not use
bash-specific features in We should change /bin/bash to /bin/sh.
Comment 1 Meg Ford 2014-01-19 21:49:21 UTC
#bin/sh does seem more common. Do you want to write a patch?
Comment 2 Meg Ford 2014-01-19 21:53:20 UTC
Only don't misspell #!bin/sh like I just did :)
Comment 3 Ting-Wei Lan 2014-01-20 02:25:22 UTC
Created attachment 266694 [details] [review]
Change /bin/bash to /bin/sh in
Comment 4 Meg Ford 2014-01-20 03:09:53 UTC
(In reply to comment #3)
> Created an attachment (id=266694) [details] [review]
> Change /bin/bash to /bin/sh in

Thanks for the patch! Committed: