My objective is to be able to automate changing of a config setting without having to restart the running Firefox instance. In particular I want to change the Network Proxy Type. So for example the ideal would be something along the lines of
firefox --set network.proxy.type "1"
firefox --network-proxy-type "1"
Currently my workaround is by means of an Extention called "QuickProxy" which allows my to toggle the proxy setting on and off with a single click on the QuickProxy Status bar button. (Obviously this workaround does not work if you need to change other settings)
This however is still an extra step – For everything else the Proxy setting is managed dynamically via a script which plugs into Network Manager (On Kubuntu Linux), which triggers depending on the allocated IP address to turn the proxy use on or off. Only Firefox can not (presently) be so managed.
I imagine there may be a way to create a "settings" Mime type which may change a config setting, so that I could do something similar to:
Or maybe an add-on which makes Firefox understand new CLI options to achieve this…
But any other scriptable way of changing the setting in a running Firefox instance would suffice.
P.S. Ideally I would also like to be able to query the current values of the setting, eg by means of a command like
firefox --get network.proxy.setting