История изменений
Исправление scott_tiger, (текущая версия) :
В FF включение-отключение прокси это одна строка в $HOME/.mozilla/.firefox/*.default/prefs.js :
user_pref(«network.proxy.type», 0); - отключен, 1 - manual, 4 - automatic и т.п.
Еще может быть system proxy configuration - тогда наличие/отсутствие прокси регулируется переменной среды http_proxy=...;
Можно либо
1. написать скрипт который будет включать либо выключать прокси через user_prefs
2. запускать FF либо без установленной переменной http_proxy либо с ней.
и руками переключать конфигурацию
либо
нписать еще один скрипт, который будет определять какую из конфигураций выбрать (по выданному ip адресу, если возможно, или по наличию/отсутствию прокси) и выполнять действия пп. 1 или 2 автматически.
Если браузер не FF, то делается, в принципе, аналогично.
Если актуально - в скайпе small_repa
Исходная версия scott_tiger, :
В FF включение-отключение прокси это одна строка в $HOME/.mozilla/.firefox/*.default/prefs.js :
user_pref(«network.proxy.type», 0); - отключен, 1 - manual, 4 - automatic и т.п.
Еще может быть system proxy configuration - тогда наличие/отсутствие прокси регулируется переменной среды http_proxy=...;
Можно либо
1. написать скрипт который будет включать либо выключать прокси через user_prefs
2. запускать FF либо без установленной переменной http_proxy либо с ней.
и руками переключать конфигурацию
либо
нписать еще один скрипт, который будет определять какую из конфигураций выбрать (по выданному ip адресу, если возможно, или по наличию/отсутствию прокси) и запускать FF с выбранными настройками.
Если браузер не FF, то делается, в принципе, аналогично.
Если актуально - в скайпе small_repa