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 _______________________________________________ dev-context mailing list dev-context@ntg.nl http://www.ntg.nl/mailman/listinfo/dev-context
