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

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

---

1. 修改配置文件
   通过修改配置文件来修改proxy
   vi ~/.android/androidtool.cfg #linux