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.
