在Android命令行工具中设置HTTP代理设置

我需要在

--no-ui

模式下，在社团HTTP代理后面运行

android

命令行工具。当我运行安卓列表sdk帮助时，我看到以下两个选项（以及其他选项）：

---

在哪里可以定义这些代理设置？在用户界面模式下，我可以转到

工具->选项

，但我需要在没有UI模式的情况下进行操作。

只需在命令选项中设置公司代理参数即可。例如：

android update sdk --no-ui --proxy-host proxy --proxy-port 8080

---

而且它应该可以工作

您解决了这个问题吗？面临同样的问题。有没有办法在没有UI的情况下永久设置此设置？

android update sdk --no-ui --proxy-host proxy --proxy-port 8080