diff --git a/home/home.nix b/home/home.nix index 9d08c03..4fd964d 100644 --- a/home/home.nix +++ b/home/home.nix @@ -189,6 +189,7 @@ let gitui lazygit pre-commit + scriv # Haskell ghc @@ -344,7 +345,11 @@ in } ]; userSettings = let - defaultPython = pkgs.python3.withPackages (ps: [ps.jedi ps.jedi-language-server ps.pip ps.black ps.mypy]); + defaultPython = pkgs.python3.withPackages (ps: [ + ps.jedi ps.jedi-language-server + ps.pip ps.setuptools # for pkg_resources + ps.black ps.mypy + ]); in { "editor.fontLigatures" = true; "window.autoDetectColorScheme" = true; @@ -377,6 +382,9 @@ in "black-formatter.importStrategy" = "fromEnvironment"; "mypy-type-checker.path" = ["${pkgs.python3Packages.mypy}/bin/mypy"]; "mypy-type-checker.importStrategy" = "fromEnvironment"; + "mypy-type-checker.args" = [ + "--ignore-missing-imports" + ]; "gitlens.telemetry.enabled" = false; "vim.highlightedyank.enable" = true; "vim.history" = 500;