From: Michael S. Tsirkin <mst@mellanox.co.il>
Date: Thu, 02 Nov 2006 09:31:53 GMT
Subject: Re: how to pass ssh options to git?
Message-ID: <20061102093153.GF7468@mellanox.co.il>
In-Reply-To: <vpqejsm433c.fsf@ecrins.imag.fr>

Quoting r. Matthieu Moy <Matthieu.Moy@imag.fr>:
> 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?

--