Hvilken Bash-opstartsfil satte den proxy?
Tjek login_shell først, og skel derefter de valgte profiler fra det nedarvede forældremiljø.
shopt login_shell| Start | Opstartsinput |
|---|---|
| Login | /etc/profile, derefter den første læsbare eksisterende ~/.bash_profile, ~/.bash_login eller ~/.profile; den kan indlæse ~/.bashrc |
| Interaktiv uden login | ~/.bashrc; Debian-familiens builds også /etc/bash.bashrc |
| Ikke-interaktiv | BASH_ENV hvor relevant |
Undersøg tildelinger og indlæste scripts på den sti for den faktiske proxyvariabel. Derfor kan forskellige terminaltilstande vælge forskellige kilder.
bash --noprofile --norc springer opstartsfiler over, men arver stadig forældremiljøet. Hvis en tildeling i en fil fjernes, slettes en værdi, som terminalen eller shellen allerede har, ikke.
Ret den kilde, der ejer værdien, og start med det tilsigtede forældremiljø. En ekstra unset bagefter kan skjule kilden uden at rette en anden startvej.