1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{
"show_diagnostics_panel_on_save": 0,
"clients": {
"jedi": {
"command": ["jedi-language-server"],
"selector": "source.python",
"enabled": false,
},
"bash-language-server": {
"command": ["bash-language-server", "start"],
"selector": "source.shell.bash",
"enabled": true,
},
"clangd": {
"command": ["clangd", "--header-insertion=never"],
"selector": "source.c | source.c++",
"enabled": true,
},
},
}
|
