schmittlauch/nixconfigs
2
0
Fork 0
Code Issues 1 Pull requests Releases Wiki Activity

Compare commits

base: schmittlauch:e1f16f2c71c89d13b200d5c7b328ab88e92dd225
Branches Tags
schmittlauch:mainline
schmittlauch:darwin-patch-nodejs_20
schmittlauch:workmac
schmittlauch:amd-pmf-debugging
schmittlauch:modularise-config
schmittlauch:flake-conversion
..
compare: schmittlauch:b5ac576fa99bde8412b7c36060bb85a1d41a1c6d
Branches Tags
schmittlauch:mainline
schmittlauch:darwin-patch-nodejs_20
schmittlauch:workmac
schmittlauch:amd-pmf-debugging
schmittlauch:modularise-config
schmittlauch:flake-conversion

2 commits
e1f16f2c71 ... b5ac576fa9

Author SHA1 Message Date
Trolli Schmittlauch b5ac576fa9 vscodium: fix jedi-language-server by providing a default python env with it installed 2023-10-18 10:35:34 +02:00
Trolli Schmittlauch ff5e044ea0 fixup! vscodium: set default themes 2023-10-10 10:38:29 +02:00
1 changed files with 7 additions and 3 deletions
Show stats Expand all files Collapse all files

10
home/home.nix
View file

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