This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
firefox [2022/10/03 09:16] val [Управление конфигурацией] |
firefox [2023/12/16 06:51] (current) val |
||
---|---|---|---|
Line 6: | Line 6: | ||
* [[http://kb.mozillazine.org/User.js_file|A user.js file is an alternative method of modifying preferences]] | * [[http://kb.mozillazine.org/User.js_file|A user.js file is an alternative method of modifying preferences]] | ||
+ | * [[https://stackoverflow.com/questions/66684631/how-to-change-firefox-proxy-settings-programmatically|How to Change Firefox Proxy Settings Programmatically?]] | ||
* [[Переменные окружения]] | * [[Переменные окружения]] | ||
* [[Автоматизация использования SQUID]] | * [[Автоматизация использования SQUID]] | ||
Line 12: | Line 13: | ||
server# FIREFOX_USER=user2 | server# FIREFOX_USER=user2 | ||
- | server# FIREFOX_PROFILE_FOLDER=/home/${FIREFOX_USER}/.mozilla/firefox/$(grep 'Path.*esr' /home/${FIREFOX_USER}/.mozilla/firefox/profiles.ini | cut -d'=' -f2) | + | debian# FIREFOX_PROFILE_FOLDER=/home/${FIREFOX_USER}/.mozilla/firefox/$(grep 'Path.*esr' /home/${FIREFOX_USER}/.mozilla/firefox/profiles.ini | cut -d'=' -f2) |
+ | alt# FIREFOX_PROFILE_FOLDER=/home/${FIREFOX_USER}/.mozilla/firefox/$(grep 'Path.*default-default' /home/${FIREFOX_USER}/.mozilla/firefox/profiles.ini | cut -d'=' -f2) | ||
server# cat ${FIREFOX_PROFILE_FOLDER}/user.js | server# cat ${FIREFOX_PROFILE_FOLDER}/user.js | ||
Line 18: | Line 20: | ||
user_pref("network.proxy.http", "gate"); | user_pref("network.proxy.http", "gate"); | ||
user_pref("network.proxy.http_port", 3128); | user_pref("network.proxy.http_port", 3128); | ||
+ | user_pref("network.proxy.ssl", "gate"); | ||
+ | user_pref("network.proxy.ssl_port", 3128); | ||
+ | user_pref("network.proxy.no_proxies_on", "localhost,127.0.0.1,isp.un,corpX.un"); | ||
user_pref("network.proxy.type", 1); | user_pref("network.proxy.type", 1); | ||
</code><code> | </code><code> |