vscodium/mypy: use bundled mypy
works around compatibility issues between mypy package and (old) extension
This commit is contained in:
parent
86199f194d
commit
213cb3a10d
1 changed files with 2 additions and 2 deletions
|
|
@ -93,9 +93,9 @@
|
||||||
"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" = lib.getExe defaultPython;
|
"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.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) ];
|
||||||
"gitlens.telemetry.enabled" = false;
|
"gitlens.telemetry.enabled" = false;
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue