Re: Weirdness with port-update hook and local push

From: Daniel Barkalow <barkalow@iabervon.org>
Date: Dec 5, 2005, 22:01 UTC
Message-ID: <Pine.LNX.4.64.0512051651050.25300@iabervon.org>
In-Reply-To: <Pine.LNX.4.63.0512052138560.6554@wbgn013.biozentrum.uni-wuerzburg.de>

On Mon, 5 Dec 2005, Johannes Schindelin wrote:

Show 26 quoted lines

> Hi,
> 
> On Mon, 5 Dec 2005, Daniel Barkalow wrote:
> 
> > I have the following post-update hook:
> > 
> > -----
> > #!/bin/sh
> > 
> > unset GIT_DIR
> > cd /home/barkalow/auto-working/web
> > if ! git pull /home/barkalow/git/web.git/
> > then
> >   exit 1  
> > fi
> > make
> > -----
> > 
> > >From that "git pull", I'm getting:
> > 
> > /home/barkalow/bin/git-pull: line 108: 30608 Broken pipe      git-merge $no_summary $no_commit $strategy_args "$merge_name" HEAD $merge_head
> > 
> > It works fine when pushing over ssh,
> 
> Maybe it runs as a different user? (Sorry if this sounds dumb, but that's 
> exactly the kind of solution I usually find after *days*.)

I think it's an environment thing of some sort, most likely, but it can't be the user; nothing's setuid and I'm only one user.

The thing that confuses me is that it works when run from ssh or directly, but not when run from a local push. I'd expect the two that work to be most different.

	-Daniel
*This .sig left intentionally blank*