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