IP Girl
  1. IP Girl
  3. git remote add avec un autre port SSH
Intereting Posts
Comment supprimer un élément d’un tableau dans Swift html select option separator Xcode: Possibilité de créer automatiquement des stubs pour les méthodes requirejses par l’interface de protocole? Comment faire une chaîne littérale textuelle dans VB.NET? Comment printf et co font-ils la différence entre float et double NullPointerException: println a besoin d’un message dans Android lancer non const en const en c ++ Erreur intermédiaire Apache HttpClient: exception NoHttpResponseException créer un formulaire d’inscription et de connexion dans node.js et mongodb Moyen correct de mettre en pause le programme Python Meilleur outil pour inspecter les fichiers PDF? Alignement du texte dans un DataGrid WPF Comment puis-je désactiver HREF si onclick est exécuté? Différence entre le test de l’instrumentation Android et le test de l’unité dans Android Studio? Valeurs max et min dans une énumération C ++

git remote add avec un autre port SSH

Dans Git, comment puis-je append un serveur d’origine distant lorsque mon hôte utilise un port SSH différent? 

git remote add origin ssh://user@host/srv/git/example

Vous pouvez juste faire ceci: 

 git remote add origin ssh://user@host:1234/srv/git/example

1234 est le port ssh utilisé

Vous devez éditer votre fichier ~ / .ssh / config. Ajoutez quelque chose comme ceci: 

 Host example.com Port 1234

Une recherche rapide sur Google montre quelques ressources différentes qui l’expliquent plus en détail que moi.

La meilleure réponse ne fonctionne pas pour moi. J’avais besoin de ssh:// dès le début. 

 # does not work git remote set-url origin [email protected]:10000/aaa/bbbb/ccc.git # work git remote set-url origin ssh://[email protected]:10000/aaa/bbbb/ccc.git

Pour ceux d’entre vous d’éditer le ./.git/config 

 [remote "external"] url = ssh://[email protected]:11720/aaa/bbb/ccc fetch = +refs/heads/*:refs/remotes/external/*