我有 Android SDK 管理器修订版 20.0。我有 Ubuntu 12.04。我在我的办公室,有一个代理配置 URL 链接到一个“.pac”文件,通过该文件连接 Internet。
在 Android SDK Manager 中,只有 Android SDK 工具显示为“已安装”,没有显示其他包或 API。我尝试重新加载它很多次,但它没有来。
我已经下载了“.pac”文件并在 Android SDK Manager 中更新了代理并尝试了它。还有“强制'https://'到'http://'。但没有任何效果。
请建议我该怎么做。