Re: Aw: Re: [PATCH 1/2] Change old system name 'GIT' to 'Git'
- From
Matthieu Moy <matthieu.moy@grenoble-inp.fr>
- Date
- Jan 20, 2013, 11:24 UTC
- Message-ID
- <vpqhamc9jxi.fsf@grenoble-inp.fr>
- In-Reply-To
- <310504838.1116553.1358607676116.JavaMail.ngmail@webmail10.arcor-online.net>
Thomas Ackermann <th.acker@arcor.de> writes:
> The whole point of my patch is to use 'Git' consistently when > we are talking about the system and not the individual command.
I like the idea. "git" should obviously remain lower-case when talking about the command, but deserves a capital when talking about the software independantly of whether it's called from command-line. Just like I type "firefox" in a shell to launch a program called "Firefox" (or even "Mozilla Firefox").
-- Matthieu Moy http://www-verimag.imag.fr/~moy/