如何在服务器纯 CLI 环境更新 android sdk？

[diggzhang]

使用`android update sdk --no-ui --no-https`可以在命令行下更新 sdk ，可是由于众所周知的原因，无法访问到 google 。国内应该有相应的 android 源，如何在命令行下，设置 proxy ，从国内源更新 sdk ？

只要能在服务器环境下搞定 sdk update 就好……我需要搭建一台 jenkins 服务器。

[AndyWing520]

android update sdk --help

--proxy-port: HTTP/HTTPS proxy port (overrides settings if defined )
--proxy-host: HTTP/HTTPS proxy host (overrides settings if defined )