From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 04 Jul 2008 09:18:36 GMT
Subject: Re: [PATCH 06/12] connect: Fix custom ports with plink (Putty's ssh)
Message-ID: <7vod5euhw3.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <200807022104.20146.johannes.sixt@telecom.at>

Johannes Sixt <johannes.sixt@telecom.at> writes:

> What about installing a wrapper script, plinkssh, that does this:
>
> #!/bin/bash
>
> if test "$1" = -p; then
> 	port="-P $2"
> 	shift; shift
> fi
>
> exec plink $port "$@"
>
> and require plink users to set GIT_SSH=plinkssh?

That's quite a nice solution with absolute minimum impact.