仕事用ファイアウォールの背後にある Ubuntu で Android SDK をインストールしようとしていますが、「dl-ssl.google.com への接続に失敗しました」というメッセージが表示されます。これは既知の問題ですが、私が目にするすべての解決策には、プロキシ設定と「強制 http」オプションの選択が含まれます。これは Windows では簡単なようですが、LINUX で同じことを行う方法を知りたいです。Eclipse プロキシ設定を設定できますが、これが Android SDK マネージャーによって使用されるとは思いません。どこかに設定ファイルはありますか?
前もって感謝します。
マルク