Comment 5 for bug 64032

Revision history for this message
Olly Betts (ojwb) wrote :

Indeed - it's just fallout from Ubuntu edgy making /bin/sh invoke dash rather than bash. Linux distros have traditionally always used bash, and coders have either just assumed that would always be true, or accidentally used bash extensions without realising they weren't portable (because they worked fine when the script was tested on Linux).

(Rereading that, it sounds a bit negative about /bin/sh being dash - on the contrary I think it's an excellent move - in the long term it'll help make Free Software more portable, and the short term pain can easily be worked around by fixing the #! line to use bash...)

The first bashism seems to be:

PROGNAME=${0##*/}

It seems better not to diverge too much from upstream, so I think just changing the interpreter in the #! line is a better fix than trying to eliminate all the bashisms.

It would be good to get this fixed - the fix is low risk (since /bin/sh used to *BE* /bin/bash) and it clearly doesn't work at all right now so it would be hard to make things worse...