オプション → 自動アップデート → プロキシ設定
プロキシを使う
チェックすることで、プロキシサーバーの設定はブラウザの設定に従います。
チェックでキャッシュが利用されます。
プロキシサーバーのアドレスを指定します。
プロキシサーバーのポート番号を指定します。
認証の必要なサーバーの場合のみ、指定してください。