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

Attachments
Change /bin/bash to /bin/sh in autogen.sh (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 autogen.sh. 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 autogen.sh
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 autogen.sh

Thanks for the patch! Committed: https://git.gnome.org/browse/gnome-sound-recorder/commit/?id=c2a4ff1d36b7245a55d087bd2a99b78a9230a84a