From: Sergio Callegari <scallegari@arces.unibo.it>
Date: Tue, 24 Apr 2007 09:05:36 GMT
Subject: Re: [PATCH] Only use ETC_GITCONFIG=$(prefix)/etc/gitconfig ifeq ($(prefix),$(HOME))
Message-ID: <loom.20070424T105805-25@post.gmane.org>
In-Reply-To: <7v1wia9u02.fsf@assigned-by-dhcp.cox.net>

> 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