Contenu | Rechercher | Menus

Annonce

Ubuntu-fr.org recrute toujours de nouveaux modérateurs, avec de l'expérience.

Ubuntu 16.04 LTS
Commandez vos DVD et clés USB Ubuntu-fr !

Si vous avez des soucis pour rester connecté, déconnectez vous et reconnectez vous depuis ce lien en cochant le case
Me connecter automatiquement lors de mes prochaines visites.

#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