У меня проблема с wget
и я обнаружил, что мои настройки прокси неверны:
$ env | grep "proxy"
http_proxy=http://213.181.73.145:80
https_proxy=http://213.181.73.145:80
Поэтому, когда я пытаюсь загрузить что-то с помощью wget
, он не пытается подключиться к прокси и не пытается подключиться к веб-ресурсу, который мне нужно загрузить.
Но в режиме суперпользователя все правильно:
$ sudo su
$ env | grep "proxy"
$
(пустой вывод, без прокси)
Я хочу знать, где эти переменные настройки, и я обнаружил много проблем. Я добавил следующую строку в начало моего /etc/profile
:
env | grep "proxy"
echo "Hello"
И для меня удивление, обе переменные являются настройками с одинаковыми значениями перед загрузкой любого файла конфигурации (/etc/bashrc, ~/.bashrc и т.д.):
(new terminal)
http_proxy=http://213.181.73.145:80
https_proxy=http://213.181.73.145:80
Hello
$
Более того, я работаю с guake
. Итак, я попробовал то же самое с обычным терминалом, и для меня, к моему удивлению, файл /etc/profile
не загружен, так как я не вижу ни строки прокси, но и echo "Hello"
.
Итак, я хотел бы знать, как возможно, что http_proxy
и https_proxy
определяются до загрузки /etc/profile
и почему я не вижу сообщения "Hello" при открытии общего терминала.