From f5b29c30dc35d2b819b5056ec160b9c92949b1cb Mon Sep 17 00:00:00 2001
From: Trolli Schmittlauch <t.schmittlauch@orlives.de>
Date: Wed, 4 Oct 2023 16:11:06 +0200
Subject: [PATCH] vscodium: move mypy and black to own extensions due to
 deprecation

---
 home/home.nix | 21 +++++++++++++++++++--
 1 file changed, 19 insertions(+), 2 deletions(-)

diff --git a/home/home.nix b/home/home.nix
index 65513cc..09a525e 100644
--- a/home/home.nix
+++ b/home/home.nix
@@ -320,7 +320,7 @@ in
       eamodio.gitlens
       jnoortheen.nix-ide
       mkhl.direnv
-      # kamadorueda.alejandra
+      kamadorueda.alejandra
     ] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
       {
         name = "Sync-Rsync";
@@ -328,6 +328,19 @@ in
         version = "0.36.0";
         sha256 = "sha256-0b/OHLZfXo0NAVAVkzZSqMGDzF0uvPRoiqsZtW1iOdA";
       }
+      # TODO: probably available in nixpkgs soonish?
+      {
+        name = "mypy-type-checker";
+        publisher = "ms-python";
+        version = "2023.3.12681020";
+        sha256 = "sha256-rhed7CQlvxksVCGc9nPU2oYQWtXcAV5TzuG63e8Y3zM=";
+      }
+      {
+        name = "black-formatter";
+        publisher = "ms-python";
+        version = "2023.5.12771008";
+        sha256 = "sha256-lJG0RRUUMhQGs2a6oBtoqt+uY1kSJ0+cbmaP07hNh2o=";
+      }
     ];
     userSettings = {
       "editor.fontLigatures" = true;
@@ -345,9 +358,13 @@ in
         "gitlens.codeLens.symbolScopes" = [
         "!Module"
         ];
+        "editor.defaultFormatter" = "ms-python.black-formatter";
+        "editor.formatOnSave" = true;
       };
       "python.languageServer" = "Jedi";  # don't use proprietary pylance server
-      "python.formatting.blackPath" = "/Users/os/.nix-profile/bin/black";
+      "black-formatter.path" = ["~/.nix-profile/bin/mypy"];
+      "mypy-type-checker.path" = ["~/.nix-profile/bin/black"];
+      "mypy-type-checker.importStrategy" = "fromEnvironment";
       "gitlens.telemetry.enabled" = false;
       "vim.highlightedyank.enable" = true;
       "vim.history" = 500;