Hello,
Alan wrote me about the following issue. I don't know anything about
bash/sh issues (except that sh is indeed more likely to be present and
that I had to change many occurencies of /bin/sh to /bin/bash on
garden because /bin/sh was a symlink to dash which didn't work). Does
anyone object the change from bash to sh?
Mojca
On Wed, Apr 13, 2011 at 21:16, Alan BRASLAU wrote:
> Mojca,
>
> Back at home and following the mailing list
> after a gruesome hunt for the Apple Store in Paris?
>
> One request (not just for me :))
> in first-setup.sh, please change
> #!/bin/bash
> to
> #!/bin/sh
>
> This is more general.
> 1. Not everyone has bash installed on their machine
> (but *everyone* always has /bin/sh, [sometimes as a link to bash])
> 2. Bash is not always to be found as /bin/bash
> (it could be /usr/local/bin/bash, for example).
>
> Of course, I cannot speak for MacOS, known to be weird.
>
> Alan