David Roundy writes: > > That costs you nothing, except some time editing the scripts to use > > "/usr/bin/env bash" instead of "/bin/sh" or whatever is currently > > used. > > Yes, that's a good idea. Would you like to do this?
Maybe next week, but I'd need your help (an off-the-top-of-your-head list of platforms you've found problematic so I can go out of my way to check for /usr/bin/env and/or /bin/bash and/or /usr/bin/bash on them), and it would be nice to have buildbots to run the tests and see if "#!/usr/bin/env bash" works. I believe that to be more portable than Miklos's suggestion of "#!/bin/bash", but nothing's certain when you're talking about portability! _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
