Перейти к основному содержимому

Синтаксис PAC (Proxy auto-config)

к сведению

Если в документе есть ошибки или у вас есть предложения, оставьте сообщение на форуме Mudfish (https://forums.mudfish.net). Примеры и пояснения ниже переведены или подготовлены на основе материалов следующих сайтов.

Браузерное расширение Mudfish поддерживает формат файлов PAC (Proxy auto-config).

Функции PAC​

Браузеры с поддержкой PAC обычно поддерживают функции стандартного формата, определённого Netscape.

Однако эти функции обычно выполняются в песочнице с жёсткими ограничениями. Например, доступ к сведениям User Agent полностью запрещён.

Ниже описаны функции, разрешённые в песочнице.

dnsDomainIs​

Проверяет имя хоста и возвращает true при совпадении. Обычно используется для проверки отдельных имён хостов, добавляемых в исключения.

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

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

shExpMatch​

Сравнивает имя хоста или URL со строкой, заданной выражением оболочки, и возвращает true при совпадении.

   // 모든 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​

Проверяет IP-адрес хоста и возвращает true, если он находится в указанной подсети. Если аргументом передано имя хоста, для преобразования в IP-адрес выполняется DNS-запрос.

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

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

myIpAddress​

Возвращает IP-адрес текущего компьютера.

   // 만약 나의 컴퓨터가 특정 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​

Преобразует имя хоста в IP-адрес через DNS.

   // 만약 요청한 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​

Возвращает true, если имя хоста не содержит точек. Например, http://intranet. Обычно применяется при доступе к веб-адресам внутренней сети.

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

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

localHostOrDomainIs​

Проверяет имя хоста и возвращает true, если части имени хоста совпадают.

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

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

isResolvable​

Преобразует имя хоста в IP-адрес и возвращает true при успехе.

Если разрешение доменного имени не удаётся, браузер может ненадолго зависнуть. Используйте эту функцию осторожно.

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

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

dnsDomainLevels​

Возвращает число точек в имени хоста. Например, можно использовать для исключения веб-серверов внутренней сети.

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

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

weekdayRange​

Позволяет создавать правила по времени, например возвращать настройки прокси только в определённые дни.

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

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

dateRange​

Позволяет создавать правила по времени, например применять прокси только в определённые месяцы.


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

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

timeRange​

Используется, если прокси должен работать только в определённое время суток.

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

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

alert​

Этой функции не было в первоначальном определении PAC, но она добавлена в Internet Explorer и Firefox для устранения неполадок.

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

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