Dans Git, comment puis-je ajouter un serveur d'origine distant lorsque mon hôte utilise un autre port SSH?
git remote add Origin ssh://user@Host/srv/git/example
Vous pouvez simplement 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. Ajouter quelque chose comme ce qui suit:
Host example.com
Port 1234
Une recherche rapide sur Google montre une pedifférente ressources qui l'expliquent plus en détail que moi.
La meilleure réponse ne fonctionne pas pour moi. J'avais besoin de ssh://
depuis 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 qui modifient le ./.git/config
[remote "external"]
url = ssh://[email protected]:11720/aaa/bbb/ccc
fetch = +refs/heads/*:refs/remotes/external/*
Plutôt que d'utiliser le préfixe de protocole ssh://
, vous pouvez continuer à utiliser le formulaire d'URL conventionnel pour accéder à git sur SSH, avec une petite modification. Pour rappel, l'URL conventionnelle est :
git@Host:path/to/repo.git
Pour spécifier un autre port, placez des crochets autour de la partie user@Host
, y compris le port:
[git@Host:port]:path/to/repo.git
Mais si le changement de port est simplement temporaire, vous pouvez dire à git d’utiliser une commande SSH différente au lieu de changer l’URL distante de votre référentiel:
export SSH_GIT_COMMAND='ssh -p port'
git clone git@Host:path/to/repo.git # for instance