Ubuntu-fr

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