Re: [PATCH] Only use ETC_GITCONFIG=$(prefix)/etc/gitconfig ifeq ($(prefix),$(HOME))
- From
- Sergio Callegari <scallegari@arces.unibo.it>
- Date
- Apr 24, 2007, 09:05 UTC
- Message-ID
- <loom.20070424T105805-25@post.gmane.org>
- In-Reply-To
- <7v1wia9u02.fsf@assigned-by-dhcp.cox.net>
Show 7 quoted lines
> Junio C Hamano <junkio <at> cox.net> writes: > > > Josh Triplett <josh <at> freedesktop.org> writes: > > > >> ETC_GITCONFIG defaults to $(prefix)/etc/gitconfig, so if you just set > >> prefix=/usr or prefix=/usr/local, you end up with a git that looks in > >> /usr/etc/gitconfig or /usr/local/etc/gitconfig. That seems rather
suboptimal.
> >> > Also what happens to people who use "prefix=/usr/local"? >
Could it be better to set ETC_GITCONFIG=/etc/gitconfig /only/ if prefix is /usr?
These would possibly make all people who have git in /usr/local or in /opt/Git or in /home happier...
If I am not wrong, /usr is the only prefix, where, for historical reasons there is no /usr/etc but /etc is used. Having /usr/local/etc does not seem that bad. And /opt/Git/etc appears surely ok.
Sergio