Re: [PATCH] GIT_SSH alternate ssh name or helper

From: Junio C Hamano <junkio@cox.net>
Date: Aug 3, 2005, 17:12 UTC
Message-ID: <7viryndjvu.fsf@assigned-by-dhcp.cox.net>
In-Reply-To: <20050803151542.GA6655@medusa>

Martin Sivak <mars@nomi.cz> writes:

Show 10 quoted lines

> 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 "$@"