Как работать с git через HTTP прокси на Ubuntu?

При попытке извлечения кода git выдает ошибку: repo init -u git://...
Getting repo ... from git://... fatal: Unable to look up ... (port 9418) (Name or service not known)

Ответ

Нужно прописать параметры прокси в настройках git.
Создать скрипт git_proxy_command.sh
(echo "CONNECT $1:$2 HTTP/1.0"; echo; cat ) | nc прокси порт | (read a; read a; cat ) Установить переменную окружения GIT_PROXY_COMMAND
export GIT_PROXY_COMMAND=git_proxy_command.sh