Re: [PATCH] GIT_SSH alternate ssh name or helper
Martin Sivak [EMAIL PROTECTED] 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 $@ - To unsubscribe from this list: send the line unsubscribe git in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH] GIT_SSH alternate ssh name or helper
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 [EMAIL PROTECTED] pgpINSyLEaZSU.pgp Description: PGP signature
Re: [PATCH] GIT_SSH alternate ssh name or helper
Martin Sivak [EMAIL PROTECTED] writes: I mean, how would you setup different identities for more user accounts on the same server (it doesn't happen often, but..)? I do not claim the way I do is the best way, but I do that all the time. I just use different name to connect, by setting up the ssh client configuration file to give me the protocol parameters I want depending on the name I use. The wildcard support handles permutations quite nicely. Something like this: $ cat .ssh/config Host *-1-* Protocol 1 Host *-2-* Protocol 2 Host lucia-* Hostname lucia.example.xz Host myriam-* Hostname myriam.example.xz Host *-junio IdentityFile ~/.ssh/identity-junio IdentityFile ~/.ssh/id_dsa-junio Host *-junkio IdentityFile ~/.ssh/identity-junkio IdentityFile ~/.ssh/id_dsa-junkio $ ssh lucia-2-junio ;# go to lucia over protocol 2, use id_dsa-junio $ ssh myriam-1-junkio ;# to myriam over protocol 1, use identity-junkio - To unsubscribe from this list: send the line unsubscribe git in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html