Pour éditer le wiki, il faut demander un compte à un Lapin !
Proxy
On a l'habitude d'utiliser un proxy pour les mises à jour des machines. Ça rend les apt-get upgrade bien plus rapides.
Bon, on pourrait l'utiliser pour autre chose, mais le seul cache qui fasse la différence au quotidien, ce sont les upgrades des systèmes, et pas le téléchargement du dernier Doodle.
Contents
Proxy
L'adresse : http://proxy:8123/
Le proxy est mis en place à l'aide de polipo. La seule configuration consiste à ouvrir le proxy sur tout le réseau local.
Pour l'instant, ça se passe sur mp3m.caserne. Va être déplacé vers un serveur de fichier, probablement...
Normalement le DNS pointe là où il faut avec proxy. Mais en ce moment c'est le bordel, donc si proxy ne répond pas, faut essayer mp3m.
Configuration
APT
Dans /etc/apt/apt.conf.d/01proxy :
Acquire::http::Proxy "http://proxy:8123";
Portage
Ces gens-là savent lire au delà d'un simple copier-coller depuis make.conf.example :
# Fetching files # ============== # # If you need to set a proxy for wget or lukemftp, add the appropriate "export # ftp_proxy=<proxy>" and "export http_proxy=<proxy>" lines to /etc/profile if # all users on your system should use them.
