Re: [PATCH 06/12] connect: Fix custom ports with plink (Putty's ssh)
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jul 4, 2008, 09:18 UTC
- Message-ID
- <7vod5euhw3.fsf@gitster.siamese.dyndns.org>
- In-Reply-To
- <200807022104.20146.johannes.sixt@telecom.at>
Johannes Sixt <johannes.sixt@telecom.at> writes:
Show 12 quoted lines
> 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.