在进行代理设置前,首先你得有代理服务器。如果没有,可参见我前一篇文章《使用傻瓜包goagent翻墙》。
下面,我假定我的代理服务器的IP为192.168.137.1(局域网里面用)或127.0.0.1(本机中使用),端口为8087,来讲解一下关于一些工具的代理设置方法,包括:
android sdk manager, android studio, svn, git, gradle, curl, repo, wget。
1.Android SDK Manager的代理设置
打开Tools菜单,选择Options,如下图。
在Settings的对话框中,在Http Pro