Как можно изменить настройки конфигурации Firefox из CLI

Question

Моя цель - иметь возможность автоматизировать изменение настроек конфигурации без необходимости перезапускать работающий экземпляр Firefox. В частности, я хочу изменить тип сетевого прокси. Так, например, идеал будет что-то вроде

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

или же

firefox --network-proxy-type "1"

В настоящее время мой обходной путь - с помощью Расширения, называемого "QuickProxy", которое позволяет мне включать и выключать настройку прокси-сервера одним щелчком мыши на кнопке строки состояния QuickProxy. (Очевидно, что этот обходной путь не работает, если вам нужно изменить другие настройки)

Это, однако, все еще дополнительный шаг - во всем остальном настройка прокси-сервера управляется динамически с помощью сценария, который подключается к Network Manager (в Kubuntu Linux), который срабатывает в зависимости от назначенного IP-адреса, чтобы включить или отключить использование прокси-сервера. Только Firefox не может (в настоящее время) быть таким управляемым.

Я предполагаю, что может быть способ создать тип Mime "settings", который может изменить настройку конфигурации, чтобы я мог сделать что-то похожее на:

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

Или, может быть, дополнение, которое позволяет Firefox понимать новые опции CLI для достижения этой цели

Но любой другой способ изменения настроек в работающем экземпляре Firefox может быть достаточным.

PS В идеале я также хотел бы иметь возможность запрашивать текущие значения настроек, например, с помощью такой команды, как firefox --get network.proxy.setting

Answer 1

Я не могу найти способ перезагрузить файл prefs.js (там, где Firefox хранит свои настройки) после изменения его из командной строки. Это позор, потому что это был бы самый простой способ сделать это.

Однако для конкретной настройки, которую вы хотите изменить, вы можете просто настроить файл proxy.pac который проверяет, находится ли ваш IP в определенной подсети, и настраивает прокси, только если он:

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

Очевидно, что вы должны использовать URL и порт вашего фактического прокси. Вам также необходимо изменить его, чтобы он выполнял правильные тесты (диапазон IP-адресов и т.д.) Для вашей настройки.

Теперь откройте вкладку настройки прокси, выберите «URL-адрес автоматической настройки прокси» и укажите его: file:////path/to/proxy.pac . Перезапустите Firefox, и теперь ваш прокси-сервер будет настроен автоматически в зависимости от вашего IP-адреса.

Смотрите здесь для более подробной информации.