1
Je n'arrive pas à utiliser Git pour pousser sur le serveur. Cependant, je peux SSH à la boîte.
Je ne peux pas comprendre pourquoi:Erreur push Git: ssh: impossible de résoudre le nom d'hôte domain.com [: 7555]: nom de noeud ou nom de serveur fourni, ou inconnu
$ cat .git/config
[core]
repositoryformatversion = 0
filemode = true
bare = false
logallrefupdates = true
ignorecase = true
[remote "server_idm"]
url = ssh://[email protected][:7555]/home/username/repo_Project/
fetch = +refs/heads/*:refs/remotes/server_idm/*
$ git pousser server_idm
ssh: Could not resolve hostname domain.com[:7555]: nodename nor servname provided, or not known fatal:
The remote end hung up unexpectedly
Cependant, je peux facilement SSH à la boîte.
$ ssh -p 7555 [email protected]
Linux servername 2.6.32.9-rscloud #6 SMP Thu Mar 11 14:32:05 UTC 2010 x86_64 GNU/Linux
Ubuntu 10.04 LTS
Welcome to Ubuntu!
Last login: Mon Oct 25 21:22:44 2010 from 8.17.58.38
[email protected] Tue Oct 26 14:01:59 ~
$ exit
logout
Connection to domain.com closed.
Dans documentation [] signifie souvent "ce bit est optionnel" –