Re: [PATCH 2/2] repo-config: learn the flag "--no-local"
- From
Sean <seanlkml@sympatico.ca>
- Date
- Jun 8, 2006, 20:30 UTC
- Message-ID
- <BAYC1-PASMTP102B1021B943F57F9FB1EEAE8B0@CEZ.ICE>
- In-Reply-To
- <Pine.LNX.4.63.0606082222470.28323@wbgn013.biozentrum.uni-wuerzburg.de>
On Thu, 8 Jun 2006 22:24:31 +0200 (CEST) Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:
> I think --user makes more sense than --home, since it does not matter > _where_ it is stored, but _when_ it is retreived.
--home seems more natural to me for some reason but I don't feel strongly about it.
> In the same vein, I do not think it is user friendly to expect the user to > remember if it was .gitconfig, .git or .gitrc.
Sure, was just thinking that this could be used by an administrator to modify _other_ users' configs.. but probably not worth it.
Cheers, Sean