有太多的原因会导致Android SDK Manager无法进行下载,这个时候理所当然的会想到“设置代理服务器”
可悲剧再次上演,我下载的android sdk manager(版本号是20.0.3)设置了代理却没法正常使用
最后在 http://stackoverflow.com/questions/10634202/android-sdk-manager-proxy-settings-in-linux 找到了答案
直接编辑~/.android/androidtool.cfg文件,分别设置代理的地址和端口号即可
http.proxyPort=3128
http.proxyHost=proxy.my.org
通过SDK Manager像上图一样配置代理后,androidtool.cfg中的内容是这样的
http.proxyPort=
http.proxyHost=proxy.my.org\:3128
难怪代理设置完成后,还是无法下载。拜托google的各位大神在更新SDK Manager的时候不要这么绝,起码给个能在图形工具中设置代理端口号的地方吧