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

Question

我需要在android模式下在公司HTTP代理后面运行--no-ui命令行工具。当我运行android list sdk help时，我会看到这两个选项（其中包括）：

--proxy-host: HTTP/HTTPS proxy host (overrides settings if defined)
--proxy-port: HTTP/HTTPS proxy port (overrides settings if defined)

我在哪里可以定义这些代理设置？在用户界面模式下，我可以转到Tools -> Options，但我需要在没有UI模式的情况下进行。

Answer 1

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

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

它应该可行