Afin que le paramétrage du proxy s'applique à tous les protocoles (pas seulement http, mais apt et d'autres), allez dans Système/Préférences/Serveur mandataire. Compléter la fenêtre suivante :
Lancer Synaptic et aller dans Configuration/Préférences/Réseau. Modifier le champ : Configuration manuelle du mandataire avec les bonnes valeurs.
Si, comme moi, vous avez besoin d'installer (ou de mettre à jours) une machine GNU/Linux en utilisant apt-get et que celle-ci se trouve sur un réseau qui force l'utilisation d'un proxy HTTP, il faut saisir la commande suivante (à adapter à votre réseau):
export http_proxy=http://login:password@adresseduproxy:portduproxy
Exemple pour un serveur proxy Squid sans authentification:
export http_proxy=http://proxy.free.fr:3128''
Il existe une méthode qui applique ces paramètres uniquement pour apt.
Il suffit de placer la ligne “Acquire::http::Proxy “http://login:password@ServeurProxy:Port”;” dans le fichier /etc/apt/apt.conf.d/proxy (le créer au besoin). Voici une commande faisant ce travail directement :
echo 'Acquire::http::Proxy "http://10.255.25.156:3128";' > /etc/apt/apt.conf.d/proxy
Comment contrôler l'accès internet en évitant des contraintes trop lourdes …