为Antigravity添加代理的简单方法

Antigravity是一款流行的开源代理工具，它可以帮助用户在本地环境中设置代理。然而，Antigravity本身并不支持直接设置代理，与VScode等工具不同。因此，用户需要通过一些间接的方法来为Antigravity添加代理。以下是一种简单而有效的方法，通过设置环境变量来为Antigravity添加代理。

首先，用户需要设置代理地址。假设代理地址为http://127.0.0.1:7890。然后，通过以下命令设置环境变量：

$proxy = "http://127.0.0.1:7890"
$env:HTTP_PROXY  = $proxy
$env:HTTPS_PROXY = $proxy

设置完环境变量后，启动Antigravity程序：

Start-Process "$env:LOCALAPPDATA\Programs\antigravity\Antigravity.exe"

通过这种方式，Antigravity将会使用指定的代理地址进行网络请求。这种方法的好处是，它不会影响其他程序的环境变量，因此特别适合安全管理较严的办公环境。此外，如果用户使用的是sock5代理，应该也可以使用相同的方法进行设置，尽管作者没有亲自尝试。

这种方法简单易行，可以帮助用户在受限的网络环境中自由地使用Antigravity，享受代理带来的便利。对于需要代理支持但又无法直接设置代理的用户来说，这是一个非常实用的解决方案。