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 Prochaine révision | Révision précédente | ||
|
clientleger_optimisation [Le 08/09/2008, 22:57] Skippy le Grand Gourou |
clientleger_optimisation [Le 11/09/2022, 11:08] (Version actuelle) moths-art Suppression des espaces en fin de ligne (détecté et corrigé via le bot wiki-corrector (https://forum.ubuntu-fr.org/viewtopic.php?id=2067892) |
||
|---|---|---|---|
| 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 | ||