How to use a proxy

Do something like this in FF's user.js. Offsite links wouldn't work, but on site ones would.

user_pref("network.proxy.ftp", "bogus.yourdomain.edu");
user_pref("network.proxy.ftp_port", 8080);
user_pref("network.proxy.http", "bogus.yourdomain.edu");
user_pref("network.proxy.http_port",8080);
user_pref("network.proxy.no_proxies_on", "localhost,127.0.0.1,www.yoursite.edu");
user_pref("network.proxy.share_proxy_settings", true);
user_pref("network.proxy.socks", "bogus.yourdomain.edu");
user_pref("network.proxy.socks_port", 8080);
user_pref("network.proxy.ssl", "bogus.yourdomain.edu");
user_pref("network.proxy.ssl_port", 8080);
user_pref("network.proxy.type",1);