常用開發工具的代理設定
在進行代理設定前,首先你得有代理伺服器。如果沒有,可參見我前一篇文章《使用傻瓜包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]中,即是配置代理的地方,內容如下:
在這裡的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,如下:
在連線https的網站時,有時候會遇到SSH證書驗證失敗問題,簡單的解決方法是通過設定GIT_SSL_NO_VERIFY為1,取消GIT的SSL驗證。命令如下:
curl是一個命令列下的開原始檔傳輸工具,代理設定很簡單,只需要加上-x引數即可。命令形式為:curl -x ip:host 你要訪問的URL。例子如下:
wget是linux中的一個強大的下載工具,設定代理方式也很簡單,在~/.wgetrc檔案中新增以下內容:
如果只是想要臨時代理一下,可以通過-e引數。如下:
修改你的工程目錄下的gradle.properties檔案(沒有就建立),設定以下屬性:
示例 1. 配置 HTTP 代理伺服器
gradle.properties
systemProp.http.proxyHost=www.somehost.org systemProp.http.proxyPort=8080 systemProp.http.proxyUser=userid systemProp.http.proxyPassword=password systemProp.http.nonProxyHosts=*.nonproxyrepos.com|localhost
對於 HTTPS 有單獨的設定。
如果不用賬號密碼登入,則對應的proxyUser和proxyPassword都不需要設定。注意這裡不需要代理的地址是用或運算子“|”來隔開的。
轉載: http://blog.csdn.net/maosidiaoxian/article/details/38082493
相關文章
- 代理的設定
- 常用的Python程式設計開發工具有哪些?Python程式設計
- Web前端開發設計常用軟體工具Web前端
- 最常用的scrum工具、敏捷開發工具、看板工具Scrum敏捷
- 5款程式設計師常用的Python開發工具程式設計師Python
- 常用的Java開發工具比較Java
- Python常用的六款程式設計開發工具彙總!Python程式設計
- Python程式設計師常用的IDE和開發工具Python程式設計師IDE
- Java開發常用的16個工具類Java
- Android開發中常用的工具類Android
- tomcat代理的設定Tomcat
- Nginx 代理設定Nginx
- pnpm 設定代理NPM
- docker 設定代理Docker
- 「硬核乾貨」總結 IDEA 開發的26個常用設定Idea
- Sql最佳化(十七) 常用開發語言中的陣列設定SQL陣列
- Python程式設計師常用的IDE和其它開發工具Python程式設計師IDE
- 三個開發中常用的小工具
- 常用的十大Python開發工具Python
- Java Web開發常用工具JavaWeb
- Git中設定代理和取消代理Git
- Python代理IP的使用和代理池的設定Python
- npm 設定埠代理NPM
- nginx 反向代理設定Nginx
- Gradle 代理設定Gradle
- sdk更新代理設定
- anaconda 設定代理
- linux 設定代理Linux
- web前端開發工具有哪些?8個好用的web前端開發常用工具Web前端
- 【推薦】Python常用的三款開發工具!Python
- iOS 開發的一些常用工具iOS
- Python開發工具PyCharm個性化設定備份PythonPyCharm
- ZT:spool常用的設定
- iOS-日常開發常用巨集定義iOS
- JS開發常用工具函式JS函式
- Android 常用開發工具類原始碼Android原始碼
- Vim常用外掛——前端開發工具系列前端
- Python requests設定代理的方法Python