intellij-idea - 如何通过 JetBrains Toolbox 中的 setting.json 设置代理？

Question

当我单击此应用程序上的更改代理设置按钮时，它会崩溃。我意识到我可以通过 settings.json 设置代理。但在这个文件中，它显示如下。

{
    "autostart": true,
    "install_location": "D:/Jetbrains/ToolBox",
    "privacy_policy": {
        "eua_accepted_version": "1.1"
    },
    "proxy": null
    "shell_scripts": {
        "enabled": false
    },
    "statistics": {
        "allow": true
    },
    "update": {
        "filter": {
            "quality_filter": {
                "order_value": 10000
            }
        }
    }
}

我不知道 proxy:null ，没有示例可以帮助我弄清楚如何通过json设置代理。那么这个文件中代理的正确属性是什么？有人可以给个 sample 吗？

Answer 1

它需要一个字典，其中键是您在 shell 中定义的相同变量名称，而值是您分配给它们的值。例如 http_proxy、https_proxy、no_proxy。这是我在 settings.json 中的示例:

"proxy": {
    "http_proxy": "http://my.proxy.url:8888",
    "https_proxy": "http://my.proxy.url:8888",
    "no_proxy": "localhost,127.0.0.1,localaddress,.localdomain.com"
},

我还尝试通过添加代理环境变量手动编辑 .desktop 文件的 Exec 行，虽然这在第一次启动时有效，但每次启动应用程序时都会覆盖 .desktop 文件，因此它不会在后续启动时工作，也不会如果您在登录时启动应用程序，则工作。在 settings.json 中设置代理是使其每次启动时无需人工干预即可工作的唯一方法。

这在我能找到的任何地方都没有记录，而且在我尝试这个解决方案之前，我浪费的时间比我承认的要多。我很高兴它就这么简单，但是记录下来会有多难？这可能看起来很直观，但我们经常被一些直观和合乎逻辑的答案不是实际实现的东西所烧毁。