On Thu, 2 Nov 2006, Michael S. Tsirkin wrote: > Quoting r. Dennis Stosberg <dennis@xxxxxxxxxxxx>: > > Subject: Re: how to pass ssh options to git? > > > > Michael S. Tsirkin wrote: > > > > > I know, problem is I want to use different options at different times. > > > I could use -F configfile ssh option, but how to pass *that* to git? > > > > You can set the path of the ssh executable to use with the GIT_SSH > > environment variable. Create a shell script like > > > > #!/bin/sh > > exec ssh --your-options-- $* > > > > and make GIT_SSH point to it. > > Thanks, I'll try that. It's really better to use a ".ssh/config" file instead. I realize that you want to use different options "dynamically", but what you can do is to just have different "fake hostnames". For example, you can do Host private.host.com User myname Hostname host.com IdentityFile /home/myname/.ssh/private-identity Host public.host.com User groupname Hostname host.com IdentityFile /home/myname/.ssh/public-identity and now you can ssh to "host.com" using different identities by just using "private.host.com" and "public.host.com" respectively. You can do pretty much any options that way. Very convenient, if you have just a couple of "standard" setups. Obviously we _could_ just add support for arbitrary ssh options, but it gets pretty ugly pretty quickly, so I'd suggest trying to use the .ssh/config approach with different hostnames if that is at all possible. Linus - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html