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 registroIl 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 FirefoxAnche 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 FirefoxLa 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
quiLa documentazione javascript la si può trovare
qui.
