如何通过 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 设置代理。那么这个文件中代理的正确属性是什么？有人可以给个样品吗？

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 中设置代理是使其工作而无需每次启动时手动干预的唯一方法。

这在我能找到的任何地方都没有记录，并且在尝试此解决方案之前我浪费了比我承认的更多的时间。我很高兴它这么简单，但是记录起来有多难呢？这可能看起来很直观，但我们有多少次都被一些直觉和逻辑答案并非实际实现的东西所困扰。