プロキシ設定スクリプトを書いた

プロキシ切り替えツールはないかなーと探すのも面倒なのでよく分からないなりに書いた。
自分用メモ。

function FindProxyForURL(url, host)
{
    if (isResolvable("proxy.example.ac.jp")) { // 大学proxy
        if(isInNet(myIpAddress(), "192.168.10.0", "255.255.255.0"))
            return "PROXY myproxy.example.jp:8080"; // 研究室用proxy

        // 大学その他の設定

    }else{
        // 大学以外
        return "DIRECT";
    }
}