Android SDK Manager 设置代理

直接启用 Android SDK Manager 的命令如下：

在SDK 的 tools 目录下执行：

./android sdk

就会进入 Android SDK Manager

 

在 Android SDK Manager 菜单中， 选择 Preferences （ win下是 「Tools」、「Options…」）

我这里利用的 lantern https://github.com/getlantern/lantern 的代理， 它的代理地址是： http://127.0.0.1:8787  而不是 http://127.0.0.1:16823/ ，后一个是它的配置网站地址。