Создал SSH-ключ, добавил его на GitHub, добавил настройки прокси в .gitconfig
, но при проверке соединения выдаёт:
$ ssh -T git@github.com
ssh: Could not resolve hostname github.com: Name or service not known
В чем может быть проблема?
Stack Overflow на русском — это сайт вопросов и ответов для программистов. Присоединяйтесь! Регистрация займёт не больше минуты.
Присоединиться к сообществуCould not resolve hostname github.com
перевод: «не могу преобразовать доменное имя github.com в ip-адрес».
проистекает это, скорее всего, из-за (временных) проблем в используемом вами ns-сервере.
попробуйте использовать любой из действующих в данный момент ip-адресов (вместо имени github.com):
192.30.252.128
192.30.252.129
192.30.252.130
192.30.252.131
192.30.252.148
192.30.252.149
192.30.252.150
192.30.252.151
пример:
$ ssh -T git@192.30.252.150
но раз в вашей сети используется прокси (скорее всего, это http-прокси), то, скорее всего, и порт 22 у вас будет заблокирован.
единственная надежда, что без вмешательства пропускаются пакеты, адресованные на порт 443 (обычно используется для общения по протоколу https).
для таких случаев у github-овцев есть сервера, слушающие ssh-подключения на порту 443. они доступны под доменным именем ssh.github.com.
если и это имя в вашей сети не резолвится, то можете воспользоваться ip-адресами (вторая группа из приведённого выше списка):
$ ssh -T -p 443 git@192.30.252.150
если «пробиться» через 443-й порт не вышло, и вы используете gnu/linux или *bsd, то для очистки совести можно попробовать воспользоваться программой corkscrew. хотя, по-моему, к успеху это вряд ли приведёт: такой трафик легко детектируется (а значит, и блокируется).
$ ssh -T -p 443 git@192.30.252.150 ssh: connect to host 192.30.252.150 port 443: Connection timed out
ssh
совершенно не интересует содержимое.gitconfig
. И не должно интересовать.