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

Compare commits

base: schmittlauch:86199f194dc95b9a79f44a523c98a83a1a343cf9
Branches Tags
schmittlauch:mainline
schmittlauch:upgrade-25.11
schmittlauch:darwin-patch-nodejs_20
schmittlauch:workmac
schmittlauch:amd-pmf-debugging
schmittlauch:modularise-config
schmittlauch:flake-conversion
..
compare: schmittlauch:ec32be92c7a6e7ab4aba7474622ff8ac840018ab
Branches Tags
schmittlauch:mainline
schmittlauch:upgrade-25.11
schmittlauch:darwin-patch-nodejs_20
schmittlauch:workmac
schmittlauch:amd-pmf-debugging
schmittlauch:modularise-config
schmittlauch:flake-conversion

3 commits
86199f194d ... ec32be92c7

Author SHA1 Message Date
Trolli Schmittlauch
ec32be92c7 vscode-pets: 1.25.1 -> 1.34.0 2026-02-18 01:41:19 +01:00
Trolli Schmittlauch
0f370e4bcf home/vscodium: un.vendor mypy-type-checker extension 2026-02-18 01:40:37 +01:00
Trolli Schmittlauch
213cb3a10d vscodium/mypy: use bundled mypy 
works around compatibility issues between mypy package and (old)
extension
 2026-02-18 01:33:44 +01:00
1 changed files with 5 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

15
home/modules/vscodium.nix
View file

@ -15,6 +15,7 @@
with pkgs.vscode-extensions; with pkgs.vscode-extensions;
[ [
ms-python.python ms-python.python
ms-python.mypy-type-checker
charliermarsh.ruff charliermarsh.ruff
vscodevim.vim vscodevim.vim
yzhang.markdown-all-in-one yzhang.markdown-all-in-one
@ -32,17 +33,11 @@
sha256 = "sha256-Jsfa1SrK1H0QwlJPEBdrb0gfGiIYoXdtIP32/4g+ceM="; sha256 = "sha256-Jsfa1SrK1H0QwlJPEBdrb0gfGiIYoXdtIP32/4g+ceM=";
} }
# TODO: probably available in nixpkgs soonish? # TODO: probably available in nixpkgs soonish?
{
name = "mypy-type-checker";
publisher = "ms-python";
version = "2023.3.12681020";
sha256 = "sha256-rhed7CQlvxksVCGc9nPU2oYQWtXcAV5TzuG63e8Y3zM=";
}
{ {
name = "vscode-pets"; name = "vscode-pets";
publisher = "tonybaloney"; publisher = "tonybaloney";
version = "1.25.1"; version = "1.34.0";
sha256 = "sha256-as3e2LzKBSsiGs/UGIZ06XqbLh37irDUaCzslqITEJQ="; sha256 = "sha256-+4D9QKMB0BsIm8qy4ZNC5H87V21wgLD7ztrYJ/R3UJQ=";
} }
]; ];
userSettings = userSettings =
@ -93,9 +88,9 @@
"python.experiments.enabled" = false; "python.experiments.enabled" = false;
"python.languageServer" = "Jedi"; # don't use proprietary pylance server "python.languageServer" = "Jedi"; # don't use proprietary pylance server
"python.defaultInterpreterPath" = lib.getExe defaultPython; "python.defaultInterpreterPath" = lib.getExe defaultPython;
"mypy-type-checker.path" = [ "${pkgs.python3Packages.mypy}/bin/dmypy" ]; #"mypy-type-checker.path" = [ "${pkgs.python3Packages.mypy}/bin/dmypy" ];
"mypy-type-checker.preferDaemon" = true; "mypy-type-checker.preferDaemon" = true;
"mypy-type-checker.importStrategy" = "fromEnvironment"; #"mypy-type-checker.importStrategy" = "fromEnvironment";
"mypy-type-checker.args" = [ "--ignore-missing-imports" ]; "mypy-type-checker.args" = [ "--ignore-missing-imports" ];
"ruff.path" = [ (lib.getExe pkgs.ruff) ]; "ruff.path" = [ (lib.getExe pkgs.ruff) ];
"gitlens.telemetry.enabled" = false; "gitlens.telemetry.enabled" = false;