仕事場のPCで同様にrepoをインストール、と思ったんだが仕事場のネットワークには恐怖のNTLMプロトコルを使うMS-Proxy Server様が鎮座在しているため、そのままではまず駄目だろうと思いつつやってみたら.. $ curl http://android.git.kernel.org/repo > repo % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- 0:01:23 --:--:-- 0 curl: (7) couldn't connect to host 案の定駄目だった。 仕方が無いので以前覚えた.bashrcにプロキシの記述を行って実行したところ問題なくインストールされたの