On Mon, Mar 12, 2012 at 02:17:03PM -0500, Jonathan Nieder wrote: > > By the way, my mild dislike for the #! line in shell libraries is > actually rooted in functionality, in a way. Though it would never > happen in git, I have had too many unhappy experiences of shell > libraries with #!/bin/bash at the top that were used in #!/bin/sh > scripts and broke completely. So that is where the bad association > comes from. Maybe I am missing something here, but as far as I can see this is an argument for _keeping_ the #! line, because at least it will give a hint that a /bin/bash library will not work for a /bin/sh script, whereas "this is a shell library" can mean almost anything. Anyways, I can certainly survive without the #! line. So please feel free to ignore my comments if you feel strongly about this. Clemens -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html