How to set the android SDK manager agent in Linux

There are too many causes for Android SDK manager to be unable to download. In this case, you will naturally think of "setting proxy servers"

The tragedy happened again. The downloaded Android SDK Manager (Version: 255.0.3) was set with a proxy, but it could not be used normally.

Finally
Http://stackoverflow.com/questions/10634202/android-sdk-manager-proxy-settings-in-linux found the answer

Edit directly ~ /. Android/androidtool. cfg file, set the proxy address and port number respectively.

 
HTTP.Proxyport=3128HTTP.Proxyhost= Proxy.my.org
 

The content in androidtool. cfg is as follows:

HTTP.Proxyport=HTTP.Proxyhost=Proxy.my.org\:3128
 

It is no wonder that the agent cannot be downloaded after the configuration is complete. Please be careful not to update the SDK manager. At least give it a place where you can set the proxy port number in the graphic tool.