Re: [PATCH 2/2] repo-config: learn the flag "--no-local"

From: Junio C Hamano <junkio@cox.net>
Date: Jun 8, 2006, 16:25 UTC
Message-ID: <7v1wtzaa26.fsf@assigned-by-dhcp.cox.net>
In-Reply-To: <Pine.LNX.4.63.0606081340230.25911@wbgn013.biozentrum.uni-wuerzburg.de>

Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:

Show 13 quoted lines

>> Johannes Schindelin wrote:
> On Thu, 8 Jun 2006, Lukas Sandström wrote:
>> > Since there is a global config now, we need a way to access it
>> > conveniently. Now you can say
>> > 
>> > 	git repo-config --no-local alias.l "log --stat -M ORIG_HEAD.."
>> > 
>> > to set the alias globally (it will be stored in ~/.gitconfig).
>> 
>> Wouldn't it make more sense to call the flag --global ?
>
> Sure, why not? Other opinions? (I will not add a test case until this is 
> resolved! ;-)

The wording "--no-local" means you are looking at things relative to a particular repository. I.e. some configuration variables come from repository-local file, and others from somewhere else. But I do not think that somewhere else is "global". We are reading from $HOME, which is different depending on who is interacting with that same repository. So I would probably call the other one "--user" or something if I were force to pick name.

But as you know, I am horrible at picking names, so please don't stop this from coming up with a good name the list can agree upon.