Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →
Ceci est une ancienne révision du document !
Polipo est un proxy cache permettant d'améliorer les performances de votre connexion. Contrairement à d'autres proxy, il est tout petit, peu gourmand en ressources et facile à configurer.
La commande suivante est suffisante :
#apt-get install polipo
Normalement, il n'y a pas besoin de configurer polipo plus que ça. Sachez toutefois que vous pouvez augmenter la mémoire cache, changer le port du proxy, définir un proxy parent, ou d'autres options en éditant le fichier situé ici : /etc/polipo/config.
Prenons l'exemple d'iceweasel. On lui dira de passer par polipo en allant dans Préférences > onglet Avancé > Paramètres. Cochez “Configuration manuelle du proxy, puis dans HTTP, préciser
Proxy http : 127.0.0.1 Port : 8123
Attention : Pensez à désactiver le cache du navigateur. Sinon, vous allez mettre deux fois les données en cache ce qui est inutile.
Ajouter ces lignes dans le fichier ~/.bashrc
# Pour utiliser polipo http_proxy=http://127.0.0.1:8123 HTTP_PROXY=$http_proxy export http_proxy HTTP_PROXY
On peut gagner énormément en vitesse de cette façon! Il faut éditer le fichier /etc/apt/apt.conf (le créer au besoin) et ajouter :
Acquire::http::Proxy "http://127.0.0.1:8123";
Site officiel : http://www.pps.jussieu.fr/~jch/software/polipo/