Re: What's in git.git

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Jun 18, 2006, 12:26 UTC
Message-ID: <Pine.LNX.4.63.0606181417090.26803@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <7vpsh75lx1.fsf@assigned-by-dhcp.cox.net>

Hi,

On Sat, 17 Jun 2006, Junio C Hamano wrote:

Show 8 quoted lines

>       Read configuration also from ~/.gitconfig
>       repo-config: learn the flag "--no-local"
> 
>    I see Pasky has proposed another config change (this time,
>    not "also from" but "alternatively from") -- I am not sure
>    which one is more appropriate.  Waiting for Johannes's
>    response to Pasky's message and hoping the list can agree on
>    a single patch series to apply to "next".

There is one thing I don't like about Pasky's approach: You can change the config file name to whatever you like, even if no program will read it. That is why I decided to have a flag instead of an option: to prevent pilot-errors.

But hey, that is just me.

I cobbled together a patch, which turned out to be rather messy, introducing "--config-file <file>" to git-repo-config. If people are interested, I'll clean it up and post it. But then, if you already know you want to use another config file, you are probably better of just exporting GIT_CONFIG_FILE and be done with it.

Note that this issue is orthogonal to the need for a user-specific config file. I still think that this one should go in.

Ciao, Dscho