repo使用代理下载android源代码

解决方法: 运行repo前

export http_proxy="your.proxy.ip:port"
export https__proxy="your.proxy.ip:port"

非常的简单。

网上一些给git添加代理，在我这不起作用。

后来看了repo的脚本，是识别http_proxy的，设置后还是不行。后来发现android源码的url是https的。于是添加export就成功了～