Pour éditer le wiki, il faut demander un compte à un Lapin !
Difference between revisions of "Proxy"
(Created page with "{{brouillon}} On a l'habitude d'utiliser un '''proxy''' pour les mises à jour des machines. Ça rend les <code>apt-get upgrade</code> bien plus rapides. Bon, on pourrait l'u...") |
m (→APT: On va s'économiser un edit au prochain déménagement, tiens...) |
||
| Line 20: | Line 20: | ||
Dans {{fichier|/etc/apt/apt.conf.d/01proxy}} : | Dans {{fichier|/etc/apt/apt.conf.d/01proxy}} : | ||
| − | Acquire::http::Proxy "http://proxy | + | Acquire::http::Proxy "http://proxy:8123"; |
=== Portage === | === Portage === | ||
Revision as of 22:25, 26 August 2014
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.
