diff --git a/home/home.nix b/home/home.nix index 3669d26..9d08c03 100644 --- a/home/home.nix +++ b/home/home.nix @@ -238,6 +238,7 @@ let numpy matplotlib jedi + jedi-language-server black flake8 mypy @@ -342,7 +343,9 @@ in 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; "window.autoDetectColorScheme" = true; "workbench.preferredDarkColorTheme" = "Default Dark Modern"; @@ -369,6 +372,7 @@ in "editor.formatOnSave" = true; }; "python.languageServer" = "Jedi"; # don't use proprietary pylance server + "python.defaultInterpreterPath" = "${defaultPython}/bin/python"; "black-formatter.path" = ["${pkgs.python3Packages.black}/bin/black"]; "black-formatter.importStrategy" = "fromEnvironment"; "mypy-type-checker.path" = ["${pkgs.python3Packages.mypy}/bin/mypy"];