В моем офисе прокси-сервер включен в моей системе. Когда я использую wget для загрузки, терминал предоставляет сообщение «Нет маршрута для хоста». Но когда я подключаюсь к тому же сайту с помощью браузера, он подключается. Я настроил параметры прокси-сервера в моем браузере. Похоже, мне нужно сделать некоторые настройки в моей системе. Помощь Pls
Чтобы wget работал, вам нужно установить переменные среды http_proxy и https_proxy. Например:
export http_proxy="http://proxyhost:8080/"
export https_proxy="http://proxyhost:8080/"
Вы можете проверить, какие значения заданы, выполнив:
echo $http_proxy
Как правило, лучше настроить браузер на «Использовать настройки прокси-сервера», а затем настройте прокси в разделе «Система -> Настройки -> Сетевой прокси» (и примените общесистемный). Это устанавливает настройки прокси-сервера в разных местах. Тем не менее, я не уверен, что это также настраивает вышеупомянутые переменные среды.
Чтобы wget работал, вам нужно установить переменные среды http_proxy и https_proxy. Например:
export http_proxy="http://proxyhost:8080/"
export https_proxy="http://proxyhost:8080/"
Вы можете проверить, какие значения заданы, выполнив:
echo $http_proxy
Как правило, лучше настроить браузер на «Использовать настройки прокси-сервера», а затем настройте прокси в разделе «Система -> Настройки -> Сетевой прокси» (и примените общесистемный). Это устанавливает настройки прокси-сервера в разных местах. Тем не менее, я не уверен, что это также настраивает вышеупомянутые переменные среды.
Чтобы wget работал, вам нужно установить переменные среды http_proxy и https_proxy. Например:
export http_proxy="http://proxyhost:8080/"
export https_proxy="http://proxyhost:8080/"
Вы можете проверить, какие значения заданы, выполнив:
echo $http_proxy
Как правило, лучше настроить браузер на «Использовать настройки прокси-сервера», а затем настройте прокси в разделе «Система -> Настройки -> Сетевой прокси» (и примените общесистемный). Это устанавливает настройки прокси-сервера в разных местах. Тем не менее, я не уверен, что это также настраивает вышеупомянутые переменные среды.
Чтобы wget работал, вам нужно установить переменные среды http_proxy и https_proxy. Например:
export http_proxy="http://proxyhost:8080/"
export https_proxy="http://proxyhost:8080/"
Вы можете проверить, какие значения заданы, выполнив:
echo $http_proxy
Как правило, лучше настроить браузер на «Использовать настройки прокси-сервера», а затем настройте прокси в разделе «Система -> Настройки -> Сетевой прокси» (и примените общесистемный). Это устанавливает настройки прокси-сервера в разных местах. Тем не менее, я не уверен, что это также настраивает вышеупомянутые переменные среды.
Чтобы wget работал, вам нужно установить переменные среды http_proxy и https_proxy. Например:
export http_proxy="http://proxyhost:8080/"
export https_proxy="http://proxyhost:8080/"
Вы можете проверить, какие значения заданы, выполнив:
echo $http_proxy
Как правило, лучше настроить браузер на «Использовать настройки прокси-сервера», а затем настройте прокси в разделе «Система -> Настройки -> Сетевой прокси» (и примените общесистемный). Это устанавливает настройки прокси-сервера в разных местах. Тем не менее, я не уверен, что это также настраивает вышеупомянутые переменные среды.
Чтобы wget работал, вам нужно установить переменные среды http_proxy и https_proxy. Например:
export http_proxy = "http: // proxyhost: 8080 /" export https_proxy = "http: // proxyhost: 8080 /"
Вы может проверить, какие значения заданы путем выполнения:
echo $ http_proxy
Как правило, лучше настроить браузер на «Использовать настройки прокси-сервера системы» и затем настройте прокси-сервер в разделе «Система -> Настройки -> Сетевой прокси» (и примените общесистемную). Это устанавливает настройки прокси-сервера в разных местах. Тем не менее, я не уверен, что это также настраивает вышеупомянутые переменные среды.
Чтобы wget работал, вам нужно установить переменные среды http_proxy и https_proxy. Например:
export http_proxy = "http: // proxyhost: 8080 /" export https_proxy = "http: // proxyhost: 8080 /"
Вы может проверить, какие значения заданы путем выполнения:
echo $ http_proxy
Как правило, лучше настроить браузер на «Использовать настройки прокси-сервера системы» и затем настройте прокси-сервер в разделе «Система -> Настройки -> Сетевой прокси» (и примените общесистемную). Это устанавливает настройки прокси-сервера в разных местах. Тем не менее, я не уверен, что это также настраивает вышеупомянутые переменные среды.
Чтобы wget работал, вам нужно установить переменные среды http_proxy и https_proxy. Например:
export http_proxy = "http: // proxyhost: 8080 /" export https_proxy = "http: // proxyhost: 8080 /"
Вы может проверить, какие значения заданы путем выполнения:
echo $ http_proxy
Как правило, лучше настроить браузер на «Использовать настройки прокси-сервера системы» и затем настройте прокси-сервер в разделе «Система -> Настройки -> Сетевой прокси» (и примените общесистемную). Это устанавливает настройки прокси-сервера в разных местах. Тем не менее, я не уверен, что это также настраивает вышеупомянутые переменные среды.