Какой файл запуска Bash задал этот прокси?
Сначала проверьте login_shell, затем отличите выбранные профили от унаследованного окружения родительского процесса.
shopt login_shell| Запуск | Входы запуска |
|---|---|
| Вход | /etc/profile, затем первый читаемый существующий ~/.bash_profile, ~/.bash_login или ~/.profile; он может подключить ~/.bashrc |
| Интерактивный без входа | ~/.bashrc; сборки семейства Debian также /etc/bash.bashrc |
| Неинтерактивный | BASH_ENV, где применимо |
Проверьте присваивания и подключённые скрипты на этом пути, чтобы найти фактическую переменную прокси. Поэтому разные режимы терминала могут выбирать разные источники.
bash --noprofile --norc пропускает файлы запуска, но всё равно наследует окружение родительского процесса. Удаление присваивания в файле не стирает значение, которое терминал или shell уже держит.
Исправьте источник, которому принадлежит значение, и начните с нужного родительского окружения. Очередной unset в конце может скрыть источник, не исправив другой путь запуска.