ubuntu下sdk Manager没有Options选项 如果没有创建改文件

Android SDK Manager Proxy Settings in LINUX

up vote 3 down vote favorite 4

I am trying to install the Android SDK, in Ubuntu, behind my work firewall and am getting 'failed to connect to dl-ssl.google.com' messages. This is a known problem but every solution I see involves proxy settings and selecting the 'force http' option. It appears that this is straightforward in windows, however I'd like to know how to do the same in LINUX. I can set the eclipse proxy settings but I don't think this gets used by the android sdk manager. Is there a config file somewhere? Thanks in advance. Marc android  ubuntu  proxy  android-sdk-2.3