Not Able to set proxy and port in Android SDK Manager in Linux???

For some reasons,SDK Manager in ubuntu doesnt show the options of setting http-proxy and port. Because of this reason,if you are behind proxy,then SDK Manager will not be able to fetch any updates.. After googling a bit, i found the solution..

Step 1:
           Go to ~/.android folder
Step 2:
           If androidtool.cfg file is present,then update the proxy and port like below

                         sdkman.force.http=true
                         http.proxyPort=8080
                         http.proxyHost=144.16.192.247

         else if the file is not found, create a file called androidtool.cfg(vi androidtool.cfg) and copy the following
                       sdkman.force.http=true
                       http.proxyPort=8080
                        http.proxyHost=144.16.192.247

Note: Please update your respective proxy and port.

Step3 :Now go to android/sdk/tools folder and run the following command
sudo ./android update sdk

You should be able to see the options to update the proxy and port for android sdk manager.