会社ネットワークでgitが使えず苦戦中

会社PCのUbuntu on VirtualBoxにAndroidのソース一式をダウンロードしようとしているのだけど、会社のHTTPプロキシに引っかかってgitを使ってうまくダウンロードできずに苦戦中。

gitをHTTP Proxy経由で利用したい場合の対処法 - RX-7乗りの適当な日々

基本的には、上のブログの記事を参考にさせてもらったのだけど、プロキシにポート9418が開いてないからなのか、Androidのrepo initの際に途中でエラーになる。gitのブランチ情報までは取得できる時があるので、設定は大きく間違っていないと思うのだけどね。

うーん、ちょっと困ったな。