better jupyterlab integration

Author: Phovos

.devcontainer/devcontainer.json

@@ -1,5 +1,5 @@
 {
-  "name": "Py 3.14.0 with JupyterLab 4.5.0",
+  "name": "Py 3.14.0 with Jupyter, ruff and uv.",
   "image": "mcr.microsoft.com/vscode/devcontainers/base:ubuntu",
   "features": {
     "ghcr.io/devcontainers/features/git:1": {},
@@ -13,40 +13,50 @@
       "version": "3.14.0"
     },
     "ghcr.io/va-h/devcontainers-features/uv:1": {},
+    "ghcr.io/devcontainers-extra/features/mypy:2": {},
     "ghcr.io/devcontainers-extra/features/ruff:1": {},
     "ghcr.io/warrenbuckley/codespace-features/sqlite:1": {}
   },
   "customizations": {
     "vscode": {
       "settings": {
         "terminal.integrated.defaultProfile.linux": "bash",
-        "python.defaultInterpreterPath": "/workspaces/${localWorkspaceFolderBasename}/.venv/bin/python",
         "editor.formatOnSave": true,
+        "python.pythonPath": "~/.pyenv/versions/3.14.0/bin/python",
         "python.linting.enabled": true,
         "python.linting.ruffEnabled": true,
+        "editor.defaultFormatter": "ms-python.vscode-pylance",
         "[python]": {
           "editor.defaultFormatter": "charliermarsh.ruff",
           "editor.codeActionsOnSave": {
             "source.fixAll": "explicit"
-          },
-          "containerEnv": {
-            "VIRTUAL_ENV": "/workspaces/${localWorkspaceFolderBasename}/.venv",
-            "PATH": "/workspaces/${localWorkspaceFolderBasename}/.venv/bin:${PATH}"
           }
+        }
       },
       "extensions": [
         "ms-python.python",
         "ms-python.debugpy",
         "ms-python.vscode-pylance",
         "charliermarsh.ruff",
+        "matangover.mypy",
         "perras.UV",
+        "ms-toolsai.jupyter",
         "eamodio.gitlens"
       ]
-    },
-  "postAttachCommand": "if [ \"$CODESPACES\" = \"true\" ]; then echo 'In Codespaces: Running minimal setup'; else bash source .devcontainer/.bashrc; fi || true",
-  "postCreateCommand": "export UV_LINK_MODE=copy && uv venv .venv --clear --python 3.14.0",
-  "postStartCommand": "bash -c 'source /workspaces/${localWorkspaceFolderBasename}/.venv/bin/activate && nohup uv run main.py\" > /tmp/postStart.log 2>&1 &'",
+    }
+  },
+  "onCreateCommand": "if [ \"$CODESPACES\" = \"true\" ]; then echo 'In Codespaces: Running minimal setup'; else bash .devcontainer/provisioning.sh; fi || true",
+  "postCreateCommand": "export UV_LINK_MODE=copy && uv venv .venv --clear --python 3.14.0 && uv pip install --no-cache -U jupyterlab ipykernel",
+  "postStartCommand": "nohup bash -c 'source .venv/bin/activate && jupyter lab --ip=0.0.0.0 --port=8888 --allow-root --no-browser --ServerApp.token=\"\" --ServerApp.password=\"\" > .jupyter.log 2>&1 &'",
+  "forwardPorts": [8888],
+  "portsAttributes": {
+    "8888": {
+      "label": "JupyterLab",
+      "onAutoForward": "notify"
+    }
+  },
+  "runArgs": ["--network=host"],
   "workspaceMount": "source=${localWorkspaceFolder},target=/workspaces/${localWorkspaceFolderBasename},type=bind",
   "workspaceFolder": "/workspaces/${localWorkspaceFolderBasename}",
   "remoteUser": "vscode"
-}}}
+}