vscodium: fix jedi-language-server by providing a default python env with it installed

This commit is contained in:
Trolli Schmittlauch 2023-10-18 10:35:34 +02:00
parent ff5e044ea0
commit b5ac576fa9

View file

@ -238,6 +238,7 @@ let
numpy numpy
matplotlib matplotlib
jedi jedi
jedi-language-server
black black
flake8 flake8
mypy mypy
@ -342,7 +343,9 @@ in
sha256 = "sha256-lJG0RRUUMhQGs2a6oBtoqt+uY1kSJ0+cbmaP07hNh2o="; sha256 = "sha256-lJG0RRUUMhQGs2a6oBtoqt+uY1kSJ0+cbmaP07hNh2o=";
} }
]; ];
userSettings = { userSettings = let
defaultPython = pkgs.python3.withPackages (ps: [ps.jedi ps.jedi-language-server ps.pip ps.black ps.mypy]);
in {
"editor.fontLigatures" = true; "editor.fontLigatures" = true;
"window.autoDetectColorScheme" = true; "window.autoDetectColorScheme" = true;
"workbench.preferredDarkColorTheme" = "Default Dark Modern"; "workbench.preferredDarkColorTheme" = "Default Dark Modern";
@ -369,6 +372,7 @@ in
"editor.formatOnSave" = true; "editor.formatOnSave" = true;
}; };
"python.languageServer" = "Jedi"; # don't use proprietary pylance server "python.languageServer" = "Jedi"; # don't use proprietary pylance server
"python.defaultInterpreterPath" = "${defaultPython}/bin/python";
"black-formatter.path" = ["${pkgs.python3Packages.black}/bin/black"]; "black-formatter.path" = ["${pkgs.python3Packages.black}/bin/black"];
"black-formatter.importStrategy" = "fromEnvironment"; "black-formatter.importStrategy" = "fromEnvironment";
"mypy-type-checker.path" = ["${pkgs.python3Packages.mypy}/bin/mypy"]; "mypy-type-checker.path" = ["${pkgs.python3Packages.mypy}/bin/mypy"];