設定後、プロキシサーバー経由でリポジトリにアクセスできることが確認できた。 これで問題なし。 ちなみにプロキシサーバーの URL は、だいたい次の形式になっている。 各々の環境に合わせて適宜設定すれば良いと思う。