Autoconfigurazione del proxy sul browser

Spesso capita che ogni azienda ha un proxy per collegarsi ad internet.
Purtroppo, Internet Explorer di Microsoft supporta un solo parametro di proxy per volta: questo vuol dire che ogni volta ci si deve ricordare di cambiarlo.
Anche per Mozilla e Firefox le cose non cambiano molto.

Vediamo qualche soluzione per questo noioso problema:

1) IE con file di registro
Il primo metodo è valido solo per IE ed è quello di creare dei file .REG oppurtuni che cambio le impostazioni del browser. Salvare le seguenti righe nel file "proxy_yes.reg":


Windows Registry Editor Version 5.00

[HKEY_CURRENT_USER\Software\Microsoft\Windows\CurrentVersion\Internet Settings]
"ProxyEnable"=dword:00000001
"ProxyServer"="proxy01:8080"
"ProxyOverride"="localhost;10.192.*"

Sicuramente serve anche un file senza proxy. Copiare le seguenti righe nel file "proxy_no.reg"
Windows Registry Editor Version 5.00

[HKEY_CURRENT_USER\Software\Microsoft\Windows\CurrentVersion\Internet Settings]
"ProxyEnable"=dword:00000000
"ProxyServer"=""
"ProxyOverride"=""

2) Mozilla o Firefox
Anche per questi browser il settagio del proxy è unico, però, questi permettono di creare vari profili diversi ed ognuno avrà impostazioni di proxy diversi.

3) Soluzione avanzata per IE, Mozilla e Firefox
La soluzione sicuramente più elegante è quella di creare un file proxy.pac del tipo:

function FindProxyForURL(url, host)
{
var proxy_yes = "PROXY proxy01:8080"
var proxy_no = "DIRECT";

if (shExpMatch(host.toLowerCase(), "156.*")) {
return proxy_no;
}
if (shExpMatch(host.toLowerCase(), "10.*")) {
return proxy_no;
}
if (shExpMatch(host.toLowerCase(), "*.dominio.it")) {
return proxy_no;
}

return proxy_yes;
}


Salvare su disco questo file.
Per Mozilla e Firefox configurare il browser con un link del tipo "file:///home/anonymous/proxy.pac"

Per Internet Explorer sarà:

Strumenti --> Opzioni Internet --> Connessioni --> Impostazioni LAN
Abilitare il check delle 2 voci e mettere l'url "file://c:/proxy.pac"

Esempi si trovano su internet ad esempio qui
La documentazione javascript la si può trovare qui.