Нет пути к хосту - проблема с прокси-сервером

В моем офисе прокси-сервер включен в моей системе. Когда я использую wget для загрузки, терминал предоставляет сообщение «Нет маршрута для хоста». Но когда я подключаюсь к тому же сайту с помощью браузера, он подключается. Я настроил параметры прокси-сервера в моем браузере. Похоже, мне нужно сделать некоторые настройки в моей системе. Помощь Pls

0
задан 23 May 2011 в 17:11

8 ответов

Чтобы wget работал, вам нужно установить переменные среды http_proxy и https_proxy. Например:

export http_proxy="http://proxyhost:8080/" export https_proxy="http://proxyhost:8080/"

Вы можете проверить, какие значения заданы, выполнив:

echo $http_proxy

Как правило, лучше настроить браузер на «Использовать настройки прокси-сервера», а затем настройте прокси в разделе «Система -> Настройки -> Сетевой прокси» (и примените общесистемный). Это устанавливает настройки прокси-сервера в разных местах. Тем не менее, я не уверен, что это также настраивает вышеупомянутые переменные среды.

2
ответ дан 25 July 2018 в 21:51

Чтобы wget работал, вам нужно установить переменные среды http_proxy и https_proxy. Например:

export http_proxy="http://proxyhost:8080/" export https_proxy="http://proxyhost:8080/"

Вы можете проверить, какие значения заданы, выполнив:

echo $http_proxy

Как правило, лучше настроить браузер на «Использовать настройки прокси-сервера», а затем настройте прокси в разделе «Система -> Настройки -> Сетевой прокси» (и примените общесистемный). Это устанавливает настройки прокси-сервера в разных местах. Тем не менее, я не уверен, что это также настраивает вышеупомянутые переменные среды.

2
ответ дан 26 July 2018 в 17:18

Чтобы wget работал, вам нужно установить переменные среды http_proxy и https_proxy. Например:

export http_proxy="http://proxyhost:8080/" export https_proxy="http://proxyhost:8080/"

Вы можете проверить, какие значения заданы, выполнив:

echo $http_proxy

Как правило, лучше настроить браузер на «Использовать настройки прокси-сервера», а затем настройте прокси в разделе «Система -> Настройки -> Сетевой прокси» (и примените общесистемный). Это устанавливает настройки прокси-сервера в разных местах. Тем не менее, я не уверен, что это также настраивает вышеупомянутые переменные среды.

2
ответ дан 2 August 2018 в 03:27

Чтобы wget работал, вам нужно установить переменные среды http_proxy и https_proxy. Например:

export http_proxy="http://proxyhost:8080/" export https_proxy="http://proxyhost:8080/"

Вы можете проверить, какие значения заданы, выполнив:

echo $http_proxy

Как правило, лучше настроить браузер на «Использовать настройки прокси-сервера», а затем настройте прокси в разделе «Система -> Настройки -> Сетевой прокси» (и примените общесистемный). Это устанавливает настройки прокси-сервера в разных местах. Тем не менее, я не уверен, что это также настраивает вышеупомянутые переменные среды.

2
ответ дан 4 August 2018 в 19:24

Чтобы wget работал, вам нужно установить переменные среды http_proxy и https_proxy. Например:

export http_proxy="http://proxyhost:8080/" export https_proxy="http://proxyhost:8080/"

Вы можете проверить, какие значения заданы, выполнив:

echo $http_proxy

Как правило, лучше настроить браузер на «Использовать настройки прокси-сервера», а затем настройте прокси в разделе «Система -> Настройки -> Сетевой прокси» (и примените общесистемный). Это устанавливает настройки прокси-сервера в разных местах. Тем не менее, я не уверен, что это также настраивает вышеупомянутые переменные среды.

2
ответ дан 6 August 2018 в 03:35

Чтобы wget работал, вам нужно установить переменные среды http_proxy и https_proxy. Например:

  export http_proxy = "http: // proxyhost: 8080 /" export https_proxy = "http: // proxyhost: 8080 /"  

Вы может проверить, какие значения заданы путем выполнения:

  echo $ http_proxy  

Как правило, лучше настроить браузер на «Использовать настройки прокси-сервера системы» и затем настройте прокси-сервер в разделе «Система -> Настройки -> Сетевой прокси» (и примените общесистемную). Это устанавливает настройки прокси-сервера в разных местах. Тем не менее, я не уверен, что это также настраивает вышеупомянутые переменные среды.

2
ответ дан 7 August 2018 в 21:24

Чтобы wget работал, вам нужно установить переменные среды http_proxy и https_proxy. Например:

  export http_proxy = "http: // proxyhost: 8080 /" export https_proxy = "http: // proxyhost: 8080 /"  

Вы может проверить, какие значения заданы путем выполнения:

  echo $ http_proxy  

Как правило, лучше настроить браузер на «Использовать настройки прокси-сервера системы» и затем настройте прокси-сервер в разделе «Система -> Настройки -> Сетевой прокси» (и примените общесистемную). Это устанавливает настройки прокси-сервера в разных местах. Тем не менее, я не уверен, что это также настраивает вышеупомянутые переменные среды.

2
ответ дан 10 August 2018 в 09:42

Чтобы wget работал, вам нужно установить переменные среды http_proxy и https_proxy. Например:

  export http_proxy = "http: // proxyhost: 8080 /" export https_proxy = "http: // proxyhost: 8080 /"  

Вы может проверить, какие значения заданы путем выполнения:

  echo $ http_proxy  

Как правило, лучше настроить браузер на «Использовать настройки прокси-сервера системы» и затем настройте прокси-сервер в разделе «Система -> Настройки -> Сетевой прокси» (и примените общесистемную). Это устанавливает настройки прокси-сервера в разных местах. Тем не менее, я не уверен, что это также настраивает вышеупомянутые переменные среды.

2
ответ дан 15 August 2018 в 22:44

Другие вопросы по тегам:

Похожие вопросы: