Настройки прокси-сервера Android SDK Manager в LINUX

Я пытаюсь установить Android SDK в Ubuntu за своим рабочим брандмауэром и получаю сообщения «не удалось подключиться к dl -ssl.google.com». Это известная проблема, но каждое решение, которое я вижу, связано с настройками прокси-сервера и выбором опции «force http». Похоже, что это просто в Windows, однако я хотел бы знать, как сделать то же самое в LINUX. Я могу установить настройки прокси-сервера eclipse, но я не думаю, что это используется менеджером Android SDK. Есть ли где-нибудь файл конфигурации?

Заранее спасибо.

Марк