Compare commits

..

No commits in common. "b5ac576fa99bde8412b7c36060bb85a1d41a1c6d" and "e1f16f2c71c89d13b200d5c7b328ab88e92dd225" have entirely different histories.

View file

@ -238,7 +238,6 @@ let
numpy numpy
matplotlib matplotlib
jedi jedi
jedi-language-server
black black
flake8 flake8
mypy mypy
@ -343,13 +342,11 @@ in
sha256 = "sha256-lJG0RRUUMhQGs2a6oBtoqt+uY1kSJ0+cbmaP07hNh2o="; sha256 = "sha256-lJG0RRUUMhQGs2a6oBtoqt+uY1kSJ0+cbmaP07hNh2o=";
} }
]; ];
userSettings = let userSettings = {
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.preferredDarkColorScheme" = "Default Dark Modern";
"workbench.preferredLightColorTheme" = "Default Light Modern"; "workbench.preferredLightColorScheme" = "Default Light Modern";
"[nix]" = { "[nix]" = {
"editor.insertSpaces" = true; "editor.insertSpaces" = true;
"editor.tabSize" = 2; "editor.tabSize" = 2;
@ -372,7 +369,6 @@ 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"];