Пинг работает, другие команды не работают

Question

Я за прокси на работе. Когда я пытаюсь пинговать Google, это работает.

Когда я пытаюсь сделать wget, я застрял на «Соединении с [имя прокси]». Я пробовал как через адрес "google.com", так и через IP-адрес, который я получил с помощью пинга.

Любая другая команда терпит неудачу при попытке подключиться к прокси. У других людей вокруг меня нет этой проблемы. Я трижды проверил адрес прокси / порт.

Я видел, что это может быть связано с использованием ipv6. Я отключил это без успеха.

$ cat /proc/sys/net/ipv6/conf/all/disable_ipv6
1

Мой браузер работает хорошо, поэтому я могу путешествовать, и я использую другой прокси дома, без проблем на этот раз.

Я под Ubuntu 14.04

Answer 1

Обычно wget использует любой прокси-сервер, установленный в переменной среды http_proxy .

Вы можете проверить настройки с помощью

echo $http_proxy

и установить новый с

export http_proxy=http://proxy:port/

Убедитесь, что эта конфигурация соответствует конфигурации вашего браузера.