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";