Match extension versions for work.

nix/configuration/roles/vscode/default.nix

@@ -16,7 +16,7 @@
       description = "Whether we want to install vscode.";
     };
 
-    vscode.enable_remote_tunnels = lib.mkOption {
+    vscode.enable_work_profile = lib.mkOption {
       type = lib.types.bool;
       default = false;
       example = true;
@@ -30,6 +30,7 @@
       "vscode-x86_64-unknown-linux-gnu-with-extensions"
       "vscode-with-extensions"
       "vscode-extension-ms-vscode-remote-remote-ssh"
+      "vscode-extension-MS-python-vscode-pylance"
     ];
 
     environment.systemPackages = with pkgs; [
@@ -39,18 +40,57 @@
           (
             [
               bbenoist.nix
-              ms-python.python
               ms-azuretools.vscode-docker
               ms-vscode-remote.remote-ssh
               esbenp.prettier-vscode
             ]
+            ++ (
+              if config.me.vscode.enable_work_profile then
+                [
+                  # ms-python.vscode-pylance
+                ]
+              else
+                [
+                  ms-python.python
+                  ms-python.debugpy
+                ]
+            )
             ++ (pkgs.vscode-utils.extensionsFromVscodeMarketplace (
-              lib.lists.optional config.me.vscode.enable_remote_tunnels {
-                name = "remote-server";
-                publisher = "ms-vscode";
-                version = "1.5.3";
-                sha256 = "MSayIBwvSgIHg6gTrtUotHznvo5kTiveN8iSrehllW0=";
-              }
+              if config.me.vscode.enable_work_profile then
+                [
+                  {
+                    name = "remote-server";
+                    publisher = "ms-vscode";
+                    version = "1.5.3";
+                    sha256 = "MSayIBwvSgIHg6gTrtUotHznvo5kTiveN8iSrehllW0=";
+                  }
+                  {
+                    name = "vscode-python-envs";
+                    publisher = "ms-python";
+                    version = "1.12.0";
+                    sha256 = "8dCnGBuxv+8QwP0FrUZIKFxllVOR2z+wIhyyJgxsRns=";
+                  }
+                  {
+                    name = "vscode-pylance";
+                    publisher = "ms-python";
+                    version = "2025.10.1";
+                    sha256 = "7NLq5huykRAhhEIHjtXLKDBFwQ5yiJKFLG64Tjh0yaM=";
+                  }
+                  {
+                    name = "debugpy";
+                    publisher = "ms-python";
+                    version = "2025.16.0";
+                    sha256 = "QPIDUzzwIfzyicsCwqU2u6hVSjCJMInHhHMBqvL8tYs=";
+                  }
+                  {
+                    name = "python";
+                    publisher = "ms-python";
+                    version = "2025.18.0";
+                    sha256 = "6auzfS1DmOuaqV2rDHSCC9BlrcON4xUrdJZ0N0wYCs4=";
+                  }
+                ]
+              else
+                [ ]
             ))
           );
       })

nix/configuration/roles/vscode/files/settings.json

@@ -53,5 +53,7 @@
   "editor.autoClosingBrackets": "never",
   "editor.autoSurround": "never",
   "workbench.editor.navigationScope": "editorGroup",
-  "python.analysis.typeCheckingMode": "standard"
+  "python.analysis.typeCheckingMode": "standard",
+  "python.trace.server": "verbose",
+  "python.analysis.logLevel": "Trace"
 }