On Mon, Nov 21, 2011 at 10:16 PM, Kevin Kofler <kevin.kofler(a)chello.at> wrote:
I'm also not sure whether those scripts you change to be
executable should
really be executable. Generally, the best practices are that scripts should
be marked executable if and only if they have a valid #! line on top.
Where did you look at the files? I checked the release tarball and on
github and they do have #!/bin/sh & #!/bin/csh...
Richard