如何通过JetBrains Toolbox中的setting.json设置代理?

时间:2018-10-17 08:08:19

标签: intellij-idea jetbrains-toolbox

当我在此应用上单击“更改代理设置”按钮时,它将崩溃。而且我意识到我可以通过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设置代理。那么,此文件中代理的正确属性是什么?有人可以提供样品吗?

1 个答案:

答案 0 :(得分:3)

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

在任何我能找到的地方都没有对此进行记录,在我尝试此解决方案之前,我浪费了太多时间不愿意承认。我很高兴它是如此的简单,但是要记录它有多困难呢?看起来似乎很直观,但是我们多少次被直观和逻辑答案不是实际实现的事情所困扰。