From: Junio C Hamano <junkio@cox.net>
Date: Tue, 08 Nov 2005 19:30:10 GMT
Subject: Re: git-pull.sh's bad mode
Message-ID: <7vhdaney4d.fsf@assigned-by-dhcp.cox.net>
In-Reply-To: <20051108163546.GC1431@pasky.or.cz>

Petr Baudis <pasky@suse.cz> writes:

>> Makefile installs git-pull with executable bit set anyway, so it
>> really does not matter.
>
> But it should definitely be fixed. E.g. I actually personally use (for
> Cogito development) git-core which I never make install (I have
> system-wide git-core installation which is just whatever is the latest
> version Gentoo ships, and I use that for non-Cogito development).
> It would be painful if this mode of usage wouldn't be supported.

You could perhaps do "make" without install and set PATH to
include the source directory (you need to do a bit more if we
ever update templates/ directory and you would want to try it). 

The point is that git-pull was generated with +x from
git-pull.sh, and the mode bits of git-pull.sh (source) does not
matter anymore.  It used to matter back when we called them
git-*-script but not these days.