update

2024-11-16 14:03:35 -05:00
parent 3607c6a38c
commit b4106472e3
5 changed files with 47 additions and 74 deletions
--- a/home-manager/no-gui.nix
+++ b/home-manager/no-gui.nix
@@ -108,6 +108,8 @@
      ps: with ps; [
        python-lsp-server # lsp
        python-lsp-ruff # ruff integration
+
+        mypy # type checking
      ]
    ))