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 →
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 update && 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 de configuration ainsi :
nano /etc/polipo/config
Prenons l'exemple de Firefox.
On lui dira de passer par polipo en allant dans :
Préférences -> onglet Avancé -> Paramètres
Proxy http : 127.0.0.1 Port : 8123
Éditez le fichier ~/.bashrc :
nano ~/.bashrc
Et rédigez :
# 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 apt.conf2) et y ajouter :
Acquire::http::Proxy "http://127.0.0.1:8123";
Site officiel : http://www.pps.jussieu.fr/~jch/software/polipo/