From: Junio C Hamano <junkio@cox.net>
Date: Wed, 03 Aug 2005 17:12:53 GMT
Subject: Re: [PATCH] GIT_SSH alternate ssh name or helper
Message-ID: <7viryndjvu.fsf@assigned-by-dhcp.cox.net>
In-Reply-To: <20050803151542.GA6655@medusa>

Martin Sivak <mars@nomi.cz> writes:

> This patch make possible to use alternate ssh binary or ssh helper
> script. The script can be used to give additional parameters to ssh
> binary (like private key, protocol version, ...).
>
> Example script could look like this:
>
> #!/bin/sh
> ssh -1 -i myprivatekey.key "$@"
>
> The patch itself is realy very simple:

I understand why you would want this if your ssh binary is
called something other than ssh [*1*], but I doubt the example
you gave needs this patch.  Could you explain why having
something like this in your .ssh/config file is not enough?

    Host foo.bar.xz
      Protocol 1
      IdentityFile ~/.ssh/privatekey.key

Even if you wish to use different settings between git and
interactive, I presume you could do something like this:

    # for interactive
    Host foo.bar.xz
      Protocol 2

    # real repo is foo.bar.xz:/pub/scm/git/git.git/ but pull with
    # git-foo.bar.xz:/pub/scm/git/git.git/
    Host git-foo.bar.xz
      Hostname foo.bar.xz
      Protocol 1
      IdentityFile ~/.ssh/privatekey.key


[Footnote]
*1* and even in that case you can trivially fix it by having
a small wrapper in $HOME/bin/ssh:

    #!/bin/sh
    exec ssh-installed-under-nonstandard-name "$@"