Linux下设置Android SDK Manager代理的问题

有太多的原因会导致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的时候不要这么绝，起码给个能在图形工具中设置代理端口号的地方吧