Re: how to pass ssh options to git?

From: Michael S. Tsirkin <mst@mellanox.co.il>
Date: Nov 2, 2006, 09:31 UTC
Message-ID: <20061102093153.GF7468@mellanox.co.il>
In-Reply-To: <vpqejsm433c.fsf@ecrins.imag.fr>

Quoting r. Matthieu Moy <Matthieu.Moy@imag.fr>:

Show 14 quoted lines

> Subject: Re: how to pass ssh options to git?
> 
> "Michael S. Tsirkin" <mst@mellanox.co.il> writes:
> 
> > How is it possible to pass ssh options to git?
> > for example, I use these options to log into some machine:
> > ssh -i <private> -o HostKeyAlias=<alias> -p <port> -l <user> <address>
> 
> Not answering the question, but this can go to ~/.ssh/config :
> 
> Host *.domain.net
> User some_user
> IdentityFile ~/.ssh/foobar
>

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?