相关疑难解决方法(0)

在 Windows 7 中，是否可以从命令行定义/更改代理配置？

所以，使用 GUI，我会去：

开始 ？控制面板 ？网络和互联网 ? 互联网选项 ？连接？局域网设置

进而

• 启用/禁用代理；
• 定义IP：代理服务器的端口。

但我更愿意从命令行执行此操作（以便我可以使用快捷键从批处理文件中运行命令 - 使我能够使用快捷方式切换代理配置，而不必费力通过 MS向导）。

我已经研究过netsh.exe用于更改 WinHTTP 的设置，但这似乎是错误的做法，因为 WinHTTP 设置似乎与 LAN 设置无关。

如果我必须访问互联网，我必须连接到我的大学代理，并且我的大学有两个代理。

现在有时它们会被流量淹没，所以我们切换到另一个代理，现在我想知道我是否可以编写一个批处理脚本或一个 python 文件并为其分配一个键盘快捷键，这样切换会很快！