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?

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

Reply via email to