$SETPROXY(proxy-name:port)
$SETPROXY(proxy.ne.jp:8080) のようにProxyを直に指定します。 ただし、指定するProxyは外部プロクシセレクタに登録されている必要があります。 自分で立てたProxyサーバーなど、息の長いProxyを指定すると良いでしょう。
$SETPROXY(proxy.ne.jp:8080)