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 與 shell 表達式指定的字串進行比較，如果匹配，則傳回 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。若傳入的是主機名稱，會先透過 DNS 解析將其轉換為 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的東西，通常可以在存取內網網址時使用。
// 만약 사용자가 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。
如果網域名稱無法正確解析，瀏覽器可能會暫時停止回應。請謹慎使用此功能。
// 만약 요청한 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
根據時間創建rule時可以使用。例如，當您只想在特定日期返回 proxy 設定時，可以使用它。
// 만약 월요일부터 금요일 사이에는 proxy1.example.com 프록시를 사용하도록
// 하고 그렇지 않을 경우는 직접 인터넷에 접속하도록 합니다.
if (weekdayRange("MON", "FRI"))
return "PROXY proxy1.example.com:8080";
else
return "DIRECT";
dateRange
根據時間創建rule時可以使用。例如，當您只想將 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 格式時不存在此函數，但它是在 Internet Explorer 和 Firefox 瀏覽器中為 troubleshooting 定義的函數。
// 브라우저의 error 콘솔창에 DNS resolving 한 결과를 출력하도록 합니 다.
resolved_host = dnsResolve(host);
alert(resolved_host);