我有Android SDK Manager修订版20.0。我有Ubuntu 12.04。我在我的办公室，并且有一个代理配置URL链接到“.pac”文件，通过该文件连接Internet。
在Android SDK Manager中，只有Android SDK工具显示为“已安装”，并且不显示任何其他包或API。我试过多次重装，但它没有来。
我已经下载了“.pac”文件并在Android SDK Manager中更新了代理并尝试了。还有“强制'https：//'到'http：//'。但没有任何效果。
请建议我该怎么做。
答案 0 :(得分：0)
代理通常不是那么难以使用，您只需要设置IP / URL和端口。
您可以在
中为Android sdk管理器设置代理Tools > Options
答案 1 :(得分：0)
确定。问题解决了。我去了.android / androidtools.cfg文件并手动更新了代理端口和代理地址。它无法在Tools-＆gt; Options中正确修改。所以，这很方便。