Contenu | Rechercher | Menus

Annonce

Si vous rencontrez des soucis à rester connecté sur le forum (ou si vous avez perdu votre mot de passe) déconnectez-vous et reconnectez-vous depuis cette page, en cochant la case "Me connecter automatiquement lors de mes prochaines visites".
Test de l'ISO d'Ubuntu francophone : nous avons besoin de testeurs pour la version francophone d'Ubuntu 14.04. Liens et informations ici.

Attention, une faille de sécurité dans bash a récemment été rapportée, il est recommandé de mettre à jour son système (plus de détails) *** mise à jour 12/10/2014 ***

#1 Le 09/11/2009, à 00:01

pti-jean

Firefox modif conf en bash sans redémarrer ?

Bonjour,

Comment faire pour que Firefox prenne en compte une modification de configuration sans le redémarrer?

Pour des raisons de discrétion, je souhaite pouvoir modifier ma config proxy de Firefox en cmd ; plus exactement activer ou désactiver le proxy en cmd.
Discrétion, car un script bash peut-être directement affecté à une combinaison de touches du clavié.

Pour ce faire, j'ai isolé l'option de Firefox qui m'intéresse: network.proxy.type
network.proxy.type égal à 0: proxy désactivé ; si non dans mon cas je souhaite cette valeur à 1.

J'ai donc un fichier:

$ cat ~/.mozilla/firefox/*/user.js
user_pref("network.proxy.type", 1);

que j'ai moi même créé.

Je modifie ce fichier grâce à un script:

$ cat bin/fireprox.sh
#!/bin/sh
rch='"network.proxy.type",'
fichier=~/.mozilla/firefox/*/user.js

grep "$rch 1" $fichier >/dev/null
if [ $? -eq 0 ]
then
        sed -i "s/$rch 1/$rch 0/" $fichier
        echo désactivé
else
        sed -i "s/$rch 0/$rch 1/" $fichier
        echo activé
fi

Il fonctionne comme ça:

$ fireprox.sh
désactivé

ou comme ça:

$ fireprox.sh
activé

Après ma commande fireprox.sh, si je redémarre Firefox, la modif sur le proxy prend effet.
Seulement voila, je souhaiterai prendre en charge cette modif sans redémarrer Firefox!!!

Quelqu'un a-il une idée ?

JM


Chalet à vendre Vosges Le Menil 88 Cadre très joli au bord d'un étang:
http://chalet-du-ruisseau.over-blog.fr/
http://youtu.be/clNc4pXWXsI

Hors ligne

Haut de page ↑