Compare commits

..

No commits in common. "ec32be92c7a6e7ab4aba7474622ff8ac840018ab" and "86199f194dc95b9a79f44a523c98a83a1a343cf9" have entirely different histories.

View file

@ -15,7 +15,6 @@
with pkgs.vscode-extensions;
[
ms-python.python
ms-python.mypy-type-checker
charliermarsh.ruff
vscodevim.vim
yzhang.markdown-all-in-one
@ -33,11 +32,17 @@
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.34.0";
sha256 = "sha256-+4D9QKMB0BsIm8qy4ZNC5H87V21wgLD7ztrYJ/R3UJQ=";
version = "1.25.1";
sha256 = "sha256-as3e2LzKBSsiGs/UGIZ06XqbLh37irDUaCzslqITEJQ=";
}
];
userSettings =
@ -88,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;