Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
clientleger_optimisation [Le 08/09/2008, 22:57]
Skippy le Grand Gourou
clientleger_optimisation [Le 08/12/2008, 17:55] (Version actuelle)
213.95.41.13 Ajout lié à Firefox 3, Francoisb
Ligne 21: Ligne 21:
   * Éditez le fichier :   * Éditez le fichier :
  
-  ​sudo gedit /​usr/​share/​firefox/​greprefs/​all.js+  ​gksudo ​gedit /​usr/​share/​firefox/​greprefs/​all.js
  
-  ​* Puis recherchez et modifiez les lignes suivantes :+ 
 +  * Avec la version 8.04 et 8.10, on peut placer ce réglage dans  
 + 
 +  gksudo gedit /​etc/​firefox-3.0/​pref/​firefox.js 
 + 
 +**Nota :** Inscrire des réglages dans "/​etc"​ est tout de même plus dans la logique Debian et associé. 
 + 
 +  ​* Puis recherchez et modifiez ​(ou créez) ​les lignes suivantes :
 <​code>​ <​code>​
 pref("​network.proxy.type",​ 1);   //​Pour selectionner le reglage manuel du proxy pref("​network.proxy.type",​ 1);   //​Pour selectionner le reglage manuel du proxy
  • clientleger_optimisation.txt
  • Dernière modification: Le 08/12/2008, 17:55
  • par 213.95.41.13