PAC (Proxy auto-config) 文法
文書にエラーがある場合、または提案がある場合は、メッセージを Mudfish フォーラム (https://forums.mudfish.net) に残してください。ここに記載されている例や説明は、以下のサイトの内容を翻訳または参照して作成されています。
Mudfish ブラウザ拡張機能の場合、PAC (Proxy auto-config) ファイル形式をサポートします。
PAC関数
PACフォーマットをサポートするブラウザは、通常、Netscape社によって指定された標準フォーマットで提示された関数をサポートするようになっています。
が通常これらの機能はsandbox内で動作するため、厳密に制限された環境で実行されます。たとえば、User Agent の情報を調べるなどの行為が源泉封鎖されています。
以下は sandbox 環境内で許容される関数について記述しました。
dnsDomainIs
Hostnameを調べて互いに一致する場合はtrueを返します。通常、例外的な個々のhostnameを調べるときに使用されます。
// 만약 hostname 이 google.com 과 같거나 하위 주소들이 매치된다면
// (예를 들어 maps.google.com, www.google.com),
// 브라우저로 하여금 proxy 을 거치지 않고 직접 접속하게 합니다.
if (dnsDomainIs(host, "google.com"))
return "DIRECT";
shExpMatch
Hostnameまたは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
この関数は、hostnameのIPアドレスを調べて特定のサブネットの下に存在する場合はtrueを返します。 hostnameが引数に渡されると、DNS resolvingを介してIP変換操作が行われます。
// 만약 요청한 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
DNS resolvingを介してhostnameを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
もしhostnameがありません。 (dot) 文字を含まない場合は true を返します。例えば http://intranet と同じことを言いますが、通常内部ネットワークのWebアドレスにアクセスする場合に使用できます。
// 만약 사용자가 plain hostname (예를 들면, http://intranet/ 혹은
// http://webserver-name01/) 를 요청할 경우, 직접 접속하도록 합니다.
if (isPlainHostName(host))
return "DIRECT";
localHostOrDomainIs
Hostnameを調べて、hostname部分が互いに一致する場合はtrueを返します。
// 만약 요청한 hostname 이 "www" 혹은 "www.google.com" 일 경우, 직접
// 접속합니다.
if (localHostOrDomainIs(host, "www.google.com"))
return "DIRECT";
isResolvable
HostnameをIPアドレスに変換し、成功した場合はtrueを返します。
domainアドレスがresolvingが正しくない場合、ブラウザ自体がしばらく>凍結する可能性があります。 (止めることができます)。慎重に使用してください。
// 만약 요청한 hostname 이 DNS 서버로 부터 resolving 이 될 수 있다면,
// proxy1.example.com 프록시를 통해 요청합니다.
if (isResolvable(host))
return "PROXY proxy1.example.com:8080";
dnsDomainLevels
Hostnameを調べて、その文字列にいくつか。 (dot) が存在するかどうかを返します。たとえば、内部ネットワークWebサーバーを例外として指定するときに使用できます。
// 만약 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
時間に基づいてルールを作成するときに使用できます。たとえば、特定の月にproxyを適用したい場合に使用できます。
// 만약 1월부터 3월까지는 proxy1.example.com 프록시를 사용하도록 설정하고
// 그렇지 않을 경우는 직접 접속하도록 조치합니다.
if (dateRange("JAN", "MAR"))
return "PROXY proxy1.example.com:8080";
else
return "DIRECT";
timeRange
特定のタイムゾーンでのみproxyを使用したい場合に使用できます。
// 오직 아침 8 시부터 오후 6 시까지만 proxy1.example.com 을 사용하도록
// 하고 그렇지 않을 경우는 직접 접속합니다.
if (timeRange(8, 18))
return "PROXY proxy1.example.com:8080";
else
return "DIRECT";
alert
この関数の場合、初めて PAC フォーマットが定義されたときはありませんでしたが、 troubleshooting をするために Internet Explorer と Firefox ブラウザの場合定義となっている関数です。
// 브라우저의 error 콘솔창에 DNS resolving 한 결과를 출력하도록 합니다.
resolved_host = dnsResolve(host);
alert(resolved_host);