home/vscodium: clean up python extension config, use mypy daemon

This commit is contained in:
Trolli Schmittlauch 2025-09-23 23:21:18 +02:00
parent 7574890c3c
commit 49484e5729

View file

@ -58,6 +58,7 @@
]); ]);
in in
{ {
"telemetry.enableTelemetry" = false; # might not be needed for Codium
"editor.fontLigatures" = true; "editor.fontLigatures" = true;
"editor.accessibilitySupport" = false; # prevent asking "editor.accessibilitySupport" = false; # prevent asking
"editor.cursorBlinking" = "phase"; "editor.cursorBlinking" = "phase";
@ -90,12 +91,12 @@
}; };
"python.experiments.enabled" = false; "python.experiments.enabled" = false;
"python.languageServer" = "Jedi"; # don't use proprietary pylance server "python.languageServer" = "Jedi"; # don't use proprietary pylance server
"python.defaultInterpreterPath" = "${defaultPython}/bin/python"; "python.defaultInterpreterPath" = lib.getExe defaultPython;
"mypy-type-checker.path" = [ "${pkgs.python3Packages.mypy}/bin/mypy" ]; "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" ]; "mypy-type-checker.args" = [ "--ignore-missing-imports" ];
"ruff.path" = [ (lib.getExe pkgs.ruff) ]; "ruff.path" = [ (lib.getExe pkgs.ruff) ];
"ruff.importStrategy" = "fromEnvironment";
"gitlens.telemetry.enabled" = false; "gitlens.telemetry.enabled" = false;
"vim.highlightedyank.enable" = true; "vim.highlightedyank.enable" = true;
"vim.history" = 500; "vim.history" = 500;