Quel fichier de démarrage Bash a défini ce proxy ?
Vérifiez d'abord login_shell, puis distinguez les profils sélectionnés de l'environnement parent hérité.
shopt login_shell| Lancement | Entrées de démarrage |
|---|---|
| Connexion | /etc/profile, puis le premier fichier existant et lisible parmi ~/.bash_profile, ~/.bash_login ou ~/.profile ; il peut charger ~/.bashrc |
| Interactif sans connexion | ~/.bashrc ; les distributions de la famille Debian aussi /etc/bash.bashrc |
| Non interactif | BASH_ENV le cas échéant |
Examinez les affectations et les scripts chargés sur ce chemin pour trouver la vraie variable de proxy. Différents modes de terminal peuvent donc sélectionner des sources différentes.
bash --noprofile --norc ignore les fichiers de démarrage mais hérite quand même de l'environnement parent. Supprimer une affectation dans un fichier n'efface pas une valeur que le terminal ou le shell détient déjà.
Corrigez la source propriétaire et partez de l'environnement parent voulu. Un autre unset en fin de parcours peut masquer la source sans corriger un autre chemin de lancement.