Ubuntu下更新android sdk（sdk manager没有Tools选项）

在使用Ubuntu时可能不少人会遇到在使用android sdk manager时没有tools选项的情况，下边是针对该问题的解决方法：

1.在命令行中进入到~/.android/目录下边，打开androidtool.cfg文件（如果没有的话可以新建一个）

2.原来可能是

### Settings for Android Tool#Tue Jun 12 01:34:55 PDT 2012sdkman.monitor.density=108sdkman.show.update.only=truesdkman.ask.adb.restart=falsesdkman.force.http=truesdkman.show.updateonly=truehttp.proxyHost=127.0.0.1http.proxyPort=3128

3.将http.proxyHost=127.0.0.1改为http.proxyHost=219.216.128.25，将http.proxyPort=3128改为http.proxyPort=80

4.保存并退出重新打开sdk manager