From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 14 Mar 2013 15:18:14 GMT
Subject: Re: [PATCH 2/2] difftool --dir-diff: symlink all files matching the working tree
Message-ID: <7vboamypqh.fsf@alter.siamese.dyndns.org>
In-Reply-To: <796eafb6816b302c87873c8f4a1bd2225ce40c55.1363206651.git.john@keeping.me.uk>

John Keeping <john@keeping.me.uk> writes:

> +write_script .git/CHECK_SYMLINKS <<\EOF &&
> +#!/bin/sh
> +test -L "$2/file" &&
> +test -L "$2/file2" &&
> +test -L "$2/sub/sub"
> +echo $?
> +EOF

Please drop "#!/bin/sh" from the above; it is misleading and
pointless.

After all, you are using "write_script" to avoid having to know
where the user's shell is.