As far as I know, only Ubuntu (and only 8.04?) depends on bash.
No other OS seems to have a problem using plain old antique sh.
---
Ideally, these sh scripts used in the build process should be changed
to be something else, maybe small Java apps. Someday.
-kto
Andrew Haley wrote:
Martin Buchholz wrote:
On Tue, Jun 3, 2008 at 1:22 AM, Andrew Haley <[EMAIL PROTECTED]> wrote:
But if one of our scripts actually needs bash (not just sh) why not use
#!/bin/bash ?
sh is a horrible programming language whose primary virtue is
portability -- every Unix system since the dark ages has it.
Much of that is lost when replacing #!/bin/sh with #!/bin/bash.
Might as well upgrade to a "real" programming language.
Sure, but this bug seems to suggest that we *already* rely on
/bin/bash, but we pretend not to by assuming that /bin/sh runs
bash. If we rely on bash, let's be straight about it.
Andrew.
