При попытке закачки файла
wget ...
выдается ошибка:
Преобразование адреса ... ошибка: Имя или служба не известны.
wget: не могу получить адрес хоста «...»
Stack Overflow на русском — это сайт вопросов и ответов для программистов. Присоединяйтесь! Регистрация займёт не больше минуты.
Присоединиться к сообществуНужно задать переменную окружения http_proxy
.
export http_proxy=прокси:порт