Comment utiliser Gitproxy pour SSH personnalisé

Question

Comment puis-je utiliser gitproxy pour me connecter avec des options ssh personnalisées pour un domaine/une télécommande particulier?

Answer 1

ssh sur mesure signifie une url comme myssh:myrepo, avec un fichier ~/.ssh/config ayant une entrée comme:

Host myssh 
HostName aserver.com 
User auser 
Port aportnumber 

vous pouvez donc set a gitproxy pour ce "domaine":

git config --global core.gitproxy "ssh for myssh" 

Mais cela ne devrait pas être nécessaire, car une URL distante comme myssh: myrepo serait interprétée par git comme une URL ssh de toute façon.