在使用Ubuntu时可能不少人会遇到在使用android sdk manager时没有tools选项的情况,下边是针对该问题的解决方法:![](https://img-blog.csdn.net/20160227132046726?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQv/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/Center)
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