Sintaxe PAC (Proxy auto-config)

info

Se encontrar erros neste documento ou tiver sugestões, deixe uma mensagem no fórum Mudfish (https://forums.mudfish.net). Os exemplos e as explicações apresentados foram traduzidos ou elaborados com base nos sites abaixo.

• https://findproxyforurl.com/pac-functions/
• https://en.wikipedia.org/wiki/Web_Proxy_Autodiscovery_Protocol

A extensão de navegador Mudfish suporta o formato de ficheiros PAC (Proxy auto-config).

Funções PAC

Os navegadores que suportam o formato PAC disponibilizam normalmente as funções definidas no formato padrão da Netscape.

Estas funções são geralmente executadas numa sandbox, num ambiente estritamente limitado. Por exemplo, não é permitido consultar as informações do User Agent.

As funções permitidas nesse ambiente são descritas abaixo.

dnsDomainIs

Verifica o nome do anfitrião e devolve true se corresponder. É geralmente utilizada para verificar nomes de anfitrião específicos que constituem exceções.

   // 만약 hostname 이 google.com 과 같거나 하위 주소들이 매치된다면
   // (예를 들어 maps.google.com, www.google.com),
   // 브라우저로 하여금 proxy 을 거치지 않고 직접 접속하게 합니다.

   if (dnsDomainIs(host, "google.com"))
       return "DIRECT";

shExpMatch

Compara o nome do anfitrião ou o URL com uma cadeia definida por uma expressão de shell e devolve true se existir correspondência.

   // 모든 request 들 (.local 로 끝나는 모든 hostname 에 해당) 이
   // 브라우저로 하여금 proxy 을 거치지 않고 직접 접속하게 합니다.

   if (shExpMatch(url, "*.local"))
       return "DIRECT";

   // vpn.domain.com 에 접속할려고 하거나
   // http://abcdomain.com/folder/ 하위의 모든 폴더 혹은 파일에 접속하는
   // 요청들을 proxy 경유없이 직접 접속합니다.

   if (shExpMatch(host, "vpn.domain.com") ||
       shExpMatch(url, "http://abcdomain.com/folder/*"))
       return "DIRECT";

isInNet

Verifica o endereço IP do anfitrião e devolve true se pertencer à sub-rede indicada. Se receber um nome de anfitrião como argumento, resolve-o através de DNS para obter o IP.

   // 만약 요청한 hostname 의 IP 주소가 (DNS resolving 후) 인자로 넘겨진
   // IP 대역에 포함되는 것이면 직접 접속합니다.

   if (isInNet(dnsResolve(host), "172.16.0.0", "255.240.0.0"))
       return "DIRECT";

myIpAddress

Devolve o endereço IP do computador atual.

   // 만약 나의 컴퓨터가 특정 IP 대역에 속할 경우 proxy 10.10.5.1 (포트는 8080)
   // 를 통해 요청하도록 합니다.

   if (isInNet(myIpAddress(), "10.10.1.0", "255.255.255.0"))
       return "PROXY 10.10.5.1:8080";

dnsResolve

Resolve um nome de anfitrião através de DNS para obter o respetivo endereço IP.

   // 만약 요청한 host 의 IP 가 지정한 범위에 속할 경우 직접 접속하도록
   // 합니다.

   if (isInNet(dnsResolve(host), "10.0.0.0", "255.0.0.0") ||
       isInNet(dnsResolve(host), "172.16.0.0",  "255.240.0.0") ||
       isInNet(dnsResolve(host), "192.168.0.0", "255.255.0.0") ||
       isInNet(dnsResolve(host), "127.0.0.0", "255.255.255.0"))
       return "DIRECT";

isPlainHostName

Devolve true se o nome do anfitrião não contiver nenhum ponto (.). Por exemplo, http://intranet. Pode ser utilizada para aceder a endereços Web de uma rede interna.

   // 만약 사용자가 plain hostname (예를 들면, http://intranet/ 혹은
   // http://webserver-name01/) 를 요청할 경우, 직접 접속하도록 합니다.

   if (isPlainHostName(host))
       return "DIRECT";

localHostOrDomainIs

Verifica o nome do anfitrião e devolve true se a parte correspondente ao nome do anfitrião coincidir.

   // 만약 요청한 hostname 이 "www" 혹은 "www.google.com" 일 경우, 직접
   // 접속합니다.

   if (localHostOrDomainIs(host, "www.google.com"))
       return "DIRECT";

isResolvable

Tenta converter o nome do anfitrião num endereço IP e devolve true se conseguir.

Se a resolução do domínio falhar, o navegador pode ficar bloqueado por um breve período. Utilize esta função com cuidado.

   // 만약 요청한 hostname 이 DNS 서버로 부터 resolving 이 될 수 있다면,
   // proxy1.example.com 프록시를 통해 요청합니다.

   if (isResolvable(host))
       return "PROXY proxy1.example.com:8080";

dnsDomainLevels

Verifica o nome do anfitrião e devolve o número de pontos (.) na cadeia. Pode ser utilizada, por exemplo, para definir exceções para servidores Web internos.

   // 만약 hostname 이 . (dot) 을 하나라도 포함하고 있으면 proxy1.example.com
   // 프록시를 통해 접속하고 그렇지 않으면 직접 접속합니다.

   if (dnsDomainLevels(host) > 0)
       return "PROXY proxy1.example.com:8080";
   else
       return "DIRECT";

weekdayRange

Permite criar regras baseadas no tempo, por exemplo para devolver uma configuração de proxy apenas em determinados dias.

   // 만약 월요일부터 금요일 사이에는 proxy1.example.com 프록시를 사용하도록
   // 하고 그렇지 않을 경우는 직접 인터넷에 접속하도록 합니다.

   if (weekdayRange("MON", "FRI"))
       return "PROXY proxy1.example.com:8080";
   else
       return "DIRECT";

dateRange

Permite criar regras baseadas no tempo, por exemplo para aplicar um proxy apenas em determinados meses.

   // 만약 1월부터 3월까지는 proxy1.example.com 프록시를 사용하도록 설정하고
   // 그렇지 않을 경우는 직접 접속하도록 조치합니다.

   if (dateRange("JAN", "MAR"))
       return "PROXY proxy1.example.com:8080";
   else
       return "DIRECT";

timeRange

Permite utilizar o proxy apenas num determinado intervalo horário.

   // 오직 아침 8 시부터 오후 6 시까지만 proxy1.example.com 을 사용하도록
   // 하고 그렇지 않을 경우는 직접 접속합니다.

   if (timeRange(8, 18))
       return "PROXY proxy1.example.com:8080";
   else
       return "DIRECT";

alert

Esta função não existia na definição inicial do formato PAC, mas foi disponibilizada no Internet Explorer e no Firefox para resolução de problemas.

   // 브라우저의 error 콘솔창에 DNS resolving 한 결과를 출력하도록 합니다.

   resolved_host = dnsResolve(host);
   alert(resolved_host);