1 # Mozilla User Preferences
3 user_pref("network.proxy.type", 2);
4 user_pref("network.proxy.ftp", "ftp_proxy");
5 user_pref("network.proxy.ftp_port", 3333);
6 user_pref("network.proxy.gopher", "gopher_proxy");
7 user_pref("network.proxy.gopher_port", 4444);
8 user_pref("network.proxy.http", "http_proxy");
9 user_pref("network.proxy.autoconfig_url", "http://custom-pac-url/");