Use Jedi language server

This commit is contained in:
Jake Howard 2020-06-09 15:18:53 +01:00
parent 05c95a6921
commit bc25f34e8e
Signed by: jake
GPG key ID: 57AFB45680EDD477
2 changed files with 7 additions and 2 deletions

View file

@ -18,7 +18,9 @@
"**/.git",
"**/bower_components"
],
"python.workspaceSymbols.exclusionPatterns": [],
"python.workspaceSymbols.exclusionPatterns": [
"${workspaceFolder}/env/*"
],
"gitlens.codeLens.enabled": false,
"workbench.activityBar.visible": true,
"editor.fontSize": 14,
@ -88,4 +90,7 @@
"languageToolLinter.lintOnOpen": true,
"languageToolLinter.languageTool.language": "en-GB",
"languageToolLinter.languageTool.motherTongue": "en-GB",
"python.languageServer": "Jedi",
"python.workspaceSymbols.enabled": true,
"python.experiments.enabled": false
}

View file

@ -6,7 +6,7 @@
when: item not in installed_packages.stdout_lines
loop:
- visual-studio-code-bin
- universal-ctags-git
- ctags
- languagetool
- name: Create VSCode user directory