home/vscodium: un.vendor mypy-type-checker extension
This commit is contained in:
parent
213cb3a10d
commit
0f370e4bcf
1 changed files with 1 additions and 6 deletions
|
|
@ -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,12 +33,6 @@
|
||||||
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";
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue