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 2012
sdkman.monitor.density=108
sdkman.show.update.only=true
sdkman.ask.adb.restart=false
sdkman.force.http=true
sdkman.show.updateonly=true
http.proxyHost=127.0.0.1
http.proxyPort=3128

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

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