shopt login_shell
InicioEntradas de inicio
Inicio de sesión/etc/profile, luego el primero de ~/.bash_profile, ~/.bash_login o ~/.profile que exista y sea legible; puede cargar ~/.bashrc
Interactivo sin inicio de sesión~/.bashrc; las compilaciones de la familia Debian también /etc/bash.bashrc
No interactivoBASH_ENV cuando corresponda

Revise las asignaciones y los scripts cargados en esa ruta para encontrar la variable de proxy real. Por eso, distintos modos de terminal pueden elegir fuentes distintas.

bash --noprofile --norc omite los archivos de inicio, pero sigue heredando el entorno del proceso padre. Eliminar una asignación de un archivo no borra un valor que la terminal o el shell ya tiene.

Corrija la fuente propietaria y empiece con el entorno del padre previsto. Otro unset posterior puede ocultar la fuente sin arreglar otra ruta de inicio.

Artículos relacionados