给Android Studio设置代理

常用开发工具的代理设置

http://blog.csdn.net/maosidiaoxian/article/details/38082493

在进行代理设置前，首先你得有代理服务器。如果没有，可参见我前一篇文章《使用傻瓜包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 Proxy Server和Http Proxy Port中分别填入你代理服务器的IP地址和端口号。然后勾住下面的Force https://... sources to be fetched using http://...。然后点close关闭。再选择Packages reload，就可以了。

注意，在这里我说一下一点问题：在我的电脑中，当我使用goagent 3.1.18时我ubuntu电脑上的sdk可以更新，但是win7的这台电脑的sdk无法更新，显示是SSL问题，如下图所示。

但是我如果用goagent3.1.6版本的话，就可以了。原因不明。

2.Android Studio的代理设置

打开File菜单==》Settings，在搜索框中输入Proxy，找到HTTP Proxy，在右边面板中选择Mnaual proxy configuration，选中HTTP，然后在Host name和Port number分别填入你的代理服务器IP和端口。在No proxy for中填入的是不需要代理的地址。配置之后按OK，即可。Android studio如果因为被墙没法更新到新版本，就需要在这里配置代理，然后就可以更新了。

3.SVN的代理设置

这里以我的win7电脑为例，找到Subversion中的servers配置文件（在我的电脑中路径为：C:\Users\msdx\AppData\Roaming\Subversion），然后打开编辑。在最下面的[global]中，即是配置代理的地方，内容如下：

[plain] view plaincopy

1. [global]  
2. # http-proxy-exceptions = *.exception.com, www.internal-site.org  
3. # http-proxy-host = defaultproxy.whatever.com  
4. # http-proxy-port = 7000  
5. # http-proxy-username = defaultusername  
6. # http-proxy-password = defaultpassword  

在这里的http-proxy-host和http-proxy-port中填入你的代理服务器地址和IP，如果需要账号密码，则填在http-proxy-username和http-proxy-password中。然后删除前面的#号及空格即可。

4.GIT和REPO的代理设置

repo是google发展出来的工具，用于下载Android源码，实际上它还是用了git来下载，所以这里合在一起说了。

这里以linux为例，设置环境变量https_proxy和http_proxy，如下：

[plain] view plaincopy

1. http_proxy=192.168.137.1:8087  
2. https_proxy=192.168.137.1:8087  

在连接https的网站时，有时候会遇到SSH证书验证失败问题，简单的解决方法是通过设置GIT_SSL_NO_VERIFY为1，取消GIT的SSL验证。命令如下：

[plain] view plaincopy

1. export GIT_SSL_NO_VERIFY=1  

5.curl的代理设置

curl是一个命令行下的开源文件传输工具，代理设置很简单，只需要加上-x参数即可。命令形式为：curl -x ip:host 你要访问的URL。例子如下：

[plain] view plaincopy

1. curl -x 192.168.137.1:8087 http://git-repo.googlecode.com/files/repo-1.13 > ~/bin/repo    

6.wget的代理设置

wget是linux中的一个强大的下载工具，设置代理方式也很简单，在~/.wgetrc文件中添加以下内容：

[plain] view plaincopy

1. http_proxy=192.168.137.1:8087  
2. ftp_proxy=192.168.137.1:8087  
3. https_proxy=192.168.137.1:8087  

如果只是想要临时代理一下，可以通过-e参数。如下：

[plain] view plaincopy

1. wget -e "http_proxy=192.168.137.1:8087" http://dd.ma/QKEHXaIR  

7.Gradle的代理设置

修改你的工程目录下的gradle.properties文件（没有就创建），设置以下属性：

[plain] view plaincopy

1. systemProp.http.proxyHost=Proxy Server  
2. systemProp.http.proxyPort=Proxy port  
3. systemProp.http.proxyUser=User  
4. systemProp.http.proxyPassword=password  
5. systemProp.http.nonProxyHosts=*.nonproxyrepos.com|localhost   

如果不用账号密码登录，则对应的proxyUser和proxyPassword都不需要设置。注意这里不需要代理的地址是用或运算符“|”来隔开的。