6

当我单击此应用程序上的更改代理设置按钮时，它会崩溃。我意识到我可以通过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 设置代理。那么这个文件中关于代理的正确属性是什么？有人可以提供样品吗？

4

1 回答 1

4

它需要一个字典，其中键是您在 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 中设置代理是使其在每次启动时无需手动干预即可工作的唯一方法。

这在我能找到的任何地方都没有记录，而且在我尝试这个解决方案之前，我浪费的时间比我想承认的要多得多。我很高兴它是如此简单，但记录起来有多难？它可能看起来很直观，但我们有多少次被直观和合乎逻辑的答案不是实际实施的事情所困扰。

于 2018-10-30T17:43:32.733 回答