Sure - I use it with wget without a problem
(http_proxy=file://proxyconf,http://proxyconf)
The way I see it you can do two things, one is replace the file
according to the location or setup something that according to the
Ip/dns change the proxy
Just to have a feeling here's an example (non working config!):
Proxyconf:
if ( isInNet(host, "192.168.0.0", "255.255.255.0")
|| isPlainHostName(host)
|| shExpMatch(host, "localhost")
|| dnsDomainIs(host, ".something.com")
return "DIRECT";
else if ( shExpMatch(host, "www.google.com")
{ return "PROXY proxy.isp.com:8080"; }
else
return "PROXY proxy1:81;" + "proxy2:81";}
// --- if proxy fails --- return "PROXY proxy:81";}
-----Original Message-----
From: Eran Tromer [mailto:[EMAIL PROTECTED]
Sent: Friday, November 25, 2005 9:04 AM
To: Levy Ohad (IFKL IT OS TI CS)
Cc: [email protected]
Subject: Re: HTTP proxy switching
Hi,
On 2005-11-25 09:10, [EMAIL PROTECTED] wrote:
> Did you consider using proxyconf (automatic url configuration)?
Can anything but the big browsers use it? Can it handle configuration
changes?
Eran
================================================================To unsubscribe,
send mail to [EMAIL PROTECTED] with
the word "unsubscribe" in the message body, e.g., run the command
echo unsubscribe | mail [EMAIL PROTECTED]
