さて、昨日の時点でプロキシ環境下でrepoのダウンロードとインストールまではできたので、次はrepo initによりローカルのリポジトリを初期化することが必要だが、repoもデフォルトではプロキシ下の環境には対応しておらず、普通に実行するとエラーとなってし…