У меня проблема с 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" при открытии общего терминала.
