Re: [PATCH RFC] new config option remote.<name>.pushexec

From: Uwe Kleine-König <zeisberg@informatik.uni-freiburg.de>
Date: Jan 16, 2007, 16:26 UTC
Message-ID: <20070116162645.GA18894@informatik.uni-freiburg.de>
In-Reply-To: <Pine.LNX.4.63.0701161614070.22628@wbgn013.biozentrum.uni-wuerzburg.de>

Hi Johannes,

Johannes Schindelin wrote:

Show 7 quoted lines

> On Tue, 16 Jan 2007, Uwe Kleine-König wrote:
> 
> > git push --exec=... is fine, but having it to specify every time is
> > annoying.
> 
> What would you specify? The only sensible thing would be "--exec=blabla" 
> where "blabla" is a workalike to git-receive-pack.

Exactly.  Quoting git-send-pack(1):

	Path to the git-receive-pack program on the remote end.
	Sometimes useful when pushing to a remote repository over ssh,
	and you do not have the program in a directory on the default
	$PATH.

For me it would be:

	pushexec = /home/zeisberg/usr/bin/git-receive-pack

While having /home/zeisberg/usr/bin only in my PATH for interactive shells. (Yes I know I could expand my PATH which .<someshrc>, but I'd prefer it that way.)

Best regards Uwe

-- 
Uwe Kleine-König

http://www.google.com/search?q=1+newton+in+kg*m+%2F+s%5E2