Cuando se mete un ordenador con sistema operativo linux en una red con un proxy, hay que configurar el proxy en el ordenador para poder acceder a Internet. Hay que hacerlo en 2 sitios: en el navegador web y en el sistema linux.
Para ello hay que editar el archivo “enviroment” y añadir la siguientes líneas.
http_proxy=http://
https_proxy=http://
ftp_proxy=http://
Cambiar “” por los datos de el proxy.
Luego una vez añadidas ejecutar el archivo
# . /etc/enviroment
Para comprobar que está bien hecho, usar el siguiente comando. Aparecerán las líneas que se acaban de añadir.
# set | grep proxy
Y en el caso de que se quiera borrar alguna entrada sería con los siguientes comandos:
# unset http_proxy
# unset https_proxy
# unset ftp_proxy
Muchas gracias por el aporte, ¡muy bueno!. Para complementar: Cómo configurar el proxy para el acceso a los repositorios, tanto con yum como con apt: https://www.sysadmit.com/2020/03/linux-configurar-proxy.html