Re: [PATCH 06/12] connect: Fix custom ports with plink (Putty's ssh)

Johannes Sixt [off-list ref] 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.