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 Dernière révision Les deux révisions suivantes | ||
clientleger_optimisation [Le 22/10/2007, 14:20] francoisb |
clientleger_optimisation [Le 08/12/2008, 17:55] 213.95.41.13 Ajout lié à Firefox 3, Francoisb |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
<note warning>page en cours de construction</note> | <note warning>page en cours de construction</note> | ||
- | {{tag>Edubuntu ltsp serveur Firefox}} | + | {{tag>Edubuntu ltsp serveur Firefox proxy}} |
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 |