Comment peut-on changer un paramètre de configuration de Firefox à partir de la CLI

Mon objectif est de pouvoir automatiser la modification d'un paramètre de configuration sans avoir à redémarrer l'instance Firefox en cours d'exécution. En particulier, je souhaite modifier le type de proxy réseau. Ainsi, par exemple, l'idéal serait quelque chose du genre

firefox --set network.proxy.type "1"

ou

firefox --network-proxy-type "1"

Actuellement, ma solution consiste à utiliser une extension appelée "QuickProxy" qui me permet d'activer ou de désactiver le paramètre de proxy en un simple clic sur le bouton de la barre d'état QuickProxy. (Évidemment, cette solution de contournement ne fonctionne pas si vous devez modifier d'autres paramètres)

Il s’agit toutefois d’une étape supplémentaire. Pour tout le reste, le paramètre Proxy est géré de manière dynamique via un script qui se connecte à Network Manager (On Kubuntu Linux), ce qui déclenche, en fonction de l’adresse IP attribuée, l’activation ou la désactivation de l’utilisation du proxy. Seul Firefox ne peut pas (actuellement) être ainsi géré.

J'imagine qu'il peut y avoir un moyen de créer un type "paramètres" Mime pouvant modifier un paramètre de configuration, afin que je puisse faire quelque chose de similaire à:

firefox file:///tmp/turn-proxy-on.settings

Ou peut-être un add-on qui permettra à Firefox de comprendre les nouvelles options de la CLI pour y parvenir ...

Mais toute autre méthode de script permettant de modifier le paramètre dans une instance de Firefox en cours d'exécution suffirait.

PS Idéalement, j'aimerais également pouvoir interroger les valeurs actuelles du paramètre, par exemple à l'aide d'une commande telle que firefox --get network.proxy.setting

Je ne trouve aucun moyen de recharger le prefs.jsfichier (c’est là que Firefox stocke ses paramètres) après l’avoir changé depuis la ligne de commande. C'est dommage car cela aurait été la façon la plus simple de le faire.

Toutefois, pour le paramètre spécifique que vous souhaitez modifier, vous pouvez simplement configurer un proxy.pacfichier qui vérifie si votre adresse IP se trouve dans un sous-réseau particulier et ne configure un proxy que s'il est:

if (isInNet(myIpAddress(), "192.168.1.0", "255.252.0.0")) { 
     proxy = "PROXY 123.456.789.100:12345";
}
else{
     proxy = "DIRECT";
}
return proxy;

De toute évidence, vous devez utiliser l'URL et le port de votre proxy actuel. Vous devrez également le modifier pour qu'il exécute les tests appropriés (plage IP, etc.) pour votre configuration.

Maintenant, ouvrez l'onglet Paramètres proxy, sélectionnez l'option « URL de configuration automatique de proxy » et pointer vers: file:////path/to/proxy.pac. Redémarrez Firefox et vous devriez maintenant avoir votre proxy défini automatiquement en fonction de votre adresse IP.

Voir ici pour plus de détails.