Unable to set proxy for Android SDK Manager on Ubuntu 12.10 ...

I have switched to Ubuntu 12.10 from windows and i am having ... this issue was resolved by editing androidtools.cgf file with proxy and port. i.e

stackoverflow.com