Utiliser le proxy

L'université propose un service de proxy permettant aux machines virtuelles privées de contacter des services extérieurs en HTTP sur les ports standards (80 et 443).
Un cas d'usage basique c'est les gestionnaires de paquets. On peut aller du plus classique comme apt des systèmes d'exploitations basés sur Debian aux gestionnaires de vendors comme npm ou composer.

Le proxy de l'université est donc http://proxy.univ-lyon1.fr:3128

Un exemple d'utilisation dans un fichier /etc/environment

http_proxy=http://proxy.univ-lyon1.fr:3128
ftp_proxy=http://proxy.univ-lyon1.fr:3128
https_proxy=http://proxy.univ-lyon1.fr:3128
all_proxy=http://proxy.univ-lyon1.fr:3128
HTTP_PROXY=http://proxy.univ-lyon1.fr:3128
FTP_PROXY=http://proxy.univ-lyon1.fr:3128
HTTPS_PROXY=http://proxy.univ-lyon1.fr:3128
ALL_PROXY=http://proxy.univ-lyon1.fr:3128