From bc25f34e8ee36a930da1b259f228b2a64c048a92 Mon Sep 17 00:00:00 2001 From: Jake Howard Date: Tue, 9 Jun 2020 15:18:53 +0100 Subject: [PATCH] Use Jedi language server --- files/vscode-settings.json | 7 ++++++- tasks/vscode.yml | 2 +- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/files/vscode-settings.json b/files/vscode-settings.json index 04971df..82db81c 100644 --- a/files/vscode-settings.json +++ b/files/vscode-settings.json @@ -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 } diff --git a/tasks/vscode.yml b/tasks/vscode.yml index 743bc2a..4ab0546 100644 --- a/tasks/vscode.yml +++ b/tasks/vscode.yml @@ -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