On Mon, 5 Sep 2005, David Kågedal wrote: > > But to the users (like myself), there's no point in naming it by > whether it's a script or a binary.
So? There's no downside. To you, as a user, you never see the "-script" ending anyway. You'd never type it out, or you're already doing something wrong. So to users it doesn't matter, and to developers it _does_ matter (and calling them ".pl" or ".sh" or something would be _bad_), why not please the developers? > So your argument that it makes it easier for git developers to work > with the source doesn't help the user. It doesn't _help_ the user, but since it doesn't hurt him either, why the hell would we even _care_ about the user? Linus - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html