From: Martin Sivak <mars@nomi.cz>
Date: Wed, 03 Aug 2005 18:56:21 GMT
Subject: Re: [PATCH] GIT_SSH alternate ssh name or helper
Message-ID: <20050803185621.GA20645@medusa>
In-Reply-To: <7viryndjvu.fsf@assigned-by-dhcp.cox.net>

> 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

The example was of course about the simpliest thing i thought of.

I would find that variable (GIT_SSH) usefull, and actually it does no
harm, because you already have GIT_SSH_PULL & PUSH variables, for the
same purpose (to define different name).

Actually I think there is at least one case, when helper script is useful.
I mean, how would you setup different identities for more user accounts on the
same server (it doesn't happen often, but..)?

Best regards
--
Martin Sivak
mars@nomi.cz