当我在此应用上单击“更改代理设置”按钮时,它将崩溃。而且我意识到我可以通过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设置代理。那么,此文件中代理的正确属性是什么?有人可以提供样品吗?
答案 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中设置代理是使其每次启动时都无需人工干预即可运行的唯一方法。
在任何我能找到的地方都没有对此进行记录,在我尝试此解决方案之前,我浪费了太多时间不愿意承认。我很高兴它是如此的简单,但是要记录它有多困难呢?看起来似乎很直观,但是我们多少次被直观和逻辑答案不是实际实现的事情所困扰。