RE: How do set up Proxy in mozilla for Linux

[Bernie Maier]

> -----Original Message-----
> From: ms-peng [mailto:[EMAIL PROTECTED]]
> Sent: Thursday, August 16, 2001 6:23 PM
> 
> Hi,
> 
> Can you give me some information about seting up proxy in 
> embedding mozilla?

The brute-force way is to edit the preferences file by hand.
The file is $MOZILLA_FIVE_HOME/defaults/pref/all.js, look for
the appropriate "network.proxy" preferences.

For example, if your proxy server is named "proxy.somedomain.com",
and it is configured to use port 8080, you need entries like:

    user_pref("network.proxy.type", 1);
    user_pref("network.proxy.ftp", "proxy.somedomain.com");
    user_pref("network.proxy.ftp_port",  8080);
    user_pref("network.proxy.ssl", "proxy.somedomain.com");
    user_pref("network.proxy.ssl_port",  8080);
    user_pref("network.proxy.http", "proxy.somedomain.com");
    user_pref("network.proxy.http_port", 8080);
    user_pref("network.proxy.no_proxies_on", "somedomain.com");

I'd be interested in hearing about any less brute-force ways.

Cheers,

    Bernie