From 213cb3a10dbdec866ae4863024439f13335ec1b9 Mon Sep 17 00:00:00 2001 From: Trolli Schmittlauch Date: Wed, 18 Feb 2026 01:33:44 +0100 Subject: [PATCH 1/3] vscodium/mypy: use bundled mypy works around compatibility issues between mypy package and (old) extension --- home/modules/vscodium.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/home/modules/vscodium.nix b/home/modules/vscodium.nix index 132df97..dcc3fef 100644 --- a/home/modules/vscodium.nix +++ b/home/modules/vscodium.nix @@ -93,9 +93,9 @@ "python.experiments.enabled" = false; "python.languageServer" = "Jedi"; # don't use proprietary pylance server "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.importStrategy" = "fromEnvironment"; + #"mypy-type-checker.importStrategy" = "fromEnvironment"; "mypy-type-checker.args" = [ "--ignore-missing-imports" ]; "ruff.path" = [ (lib.getExe pkgs.ruff) ]; "gitlens.telemetry.enabled" = false; From 0f370e4bcf1e2cb247c04186d1643802f3c5c2d1 Mon Sep 17 00:00:00 2001 From: Trolli Schmittlauch Date: Wed, 18 Feb 2026 01:40:37 +0100 Subject: [PATCH 2/3] home/vscodium: un.vendor mypy-type-checker extension --- home/modules/vscodium.nix | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/home/modules/vscodium.nix b/home/modules/vscodium.nix index dcc3fef..034d1e1 100644 --- a/home/modules/vscodium.nix +++ b/home/modules/vscodium.nix @@ -15,6 +15,7 @@ with pkgs.vscode-extensions; [ ms-python.python + ms-python.mypy-type-checker charliermarsh.ruff vscodevim.vim yzhang.markdown-all-in-one @@ -32,12 +33,6 @@ sha256 = "sha256-Jsfa1SrK1H0QwlJPEBdrb0gfGiIYoXdtIP32/4g+ceM="; } # TODO: probably available in nixpkgs soonish? - { - name = "mypy-type-checker"; - publisher = "ms-python"; - version = "2023.3.12681020"; - sha256 = "sha256-rhed7CQlvxksVCGc9nPU2oYQWtXcAV5TzuG63e8Y3zM="; - } { name = "vscode-pets"; publisher = "tonybaloney"; From ec32be92c7a6e7ab4aba7474622ff8ac840018ab Mon Sep 17 00:00:00 2001 From: Trolli Schmittlauch Date: Wed, 18 Feb 2026 01:41:19 +0100 Subject: [PATCH 3/3] vscode-pets: 1.25.1 -> 1.34.0 --- home/modules/vscodium.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/home/modules/vscodium.nix b/home/modules/vscodium.nix index 034d1e1..191a5e0 100644 --- a/home/modules/vscodium.nix +++ b/home/modules/vscodium.nix @@ -36,8 +36,8 @@ { name = "vscode-pets"; publisher = "tonybaloney"; - version = "1.25.1"; - sha256 = "sha256-as3e2LzKBSsiGs/UGIZ06XqbLh37irDUaCzslqITEJQ="; + version = "1.34.0"; + sha256 = "sha256-+4D9QKMB0BsIm8qy4ZNC5H87V21wgLD7ztrYJ/R3UJQ="; } ]; userSettings =