Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente | Dernière révision Les deux révisions suivantes | ||
|
clientleger_optimisation [Le 08/09/2008, 22:57] Skippy le Grand Gourou |
clientleger_optimisation [Le 08/12/2008, 17:55] 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 | ||