Ошибка Git: невозможно подключиться к "..."

Я использую виртуальную машину с Ubuntu 14.04 LTS и попробовал эту команду: это из документации yocto, и я думаю, что это не так.

git clone git://git.yoctoproject.org/poky

И получите следующую ошибку:

Cloning into 'poky'...
fatal: unable to connect to git.yoctoproject.org:
git.yoctoproject.org: Name or service not known

Сервер git, кажется, подключен к сети, когда я захожу на сайт через браузер. Тем не менее, я нашел две темы на сайте с похожей проблемой:

• "git.osmocom.org: имя или служба неизвестна" при клонировании репозитория osmocom.org

Нет решения, потому что у меня есть подключение к Интернету внутри виртуальной машины

• Git клонирование ошибка

Пробовал оба http: // и https://, но это не сработало.

Я предполагаю, что проблема связана с использованием прокси, но я не знаю, что ввести:

Все настройки >> Сеть >> Сетевой прокси:

Метод: ручной

HTTP-прокси: 127.0.0.1; порт: 3128

HTTPS-прокси: 127.0.0.1; порт: 3128

FTP-прокси: 127.0.0.1; порт: 3128

Хост Socks: пустой; Порт: пустой

(Не могу опубликовать скриншот!)

КСТАТИ:

user:~$     git --version
             git version 1.9.1

Также пробовал несколько версий с sudo, sudo -s так далее...

Брандмауэр казался виновным, хотя "ИТ-парни" уверяли, что GIT будет работать.

Что помогло, это установить "socat" и создать скрипт "gitproxy"

#!/bin/sh
_proxy=<proxyadress>
_proxyport=<port>

exec socat STDIO PROXY:$_proxy:$1:$2,proxyport=$_proxyport

И настройте git с ним:

$  git config --global core.gitProxy <path_to_script>

Решение найдено здесь.