diff --git a/home/modules/vscodium.nix b/home/modules/vscodium.nix index 132df97..191a5e0 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,17 +33,11 @@ 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"; - version = "1.25.1"; - sha256 = "sha256-as3e2LzKBSsiGs/UGIZ06XqbLh37irDUaCzslqITEJQ="; + version = "1.34.0"; + sha256 = "sha256-+4D9QKMB0BsIm8qy4ZNC5H87V21wgLD7ztrYJ/R3UJQ="; } ]; userSettings = @@ -93,9 +88,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;