Pin Jupyter extension version

FredHutch · Oct 3, 2022 · 331dbe1 · 331dbe1
1 parent 02bcda9
commit 331dbe1
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -3,11 +3,15 @@
     // "build": {
     //     "dockerfile": "./Dockerfile",
     // },
+    "settings": {
+        "extensions.autoUpdate": false,
+        "extensions.autoCheckUpdates": false
+    },
     "extensions": [
         // Python extension 
         "ms-python.python",
         // Jupyter extension
-        "ms-toolsai.jupyter",
+        "ms-toolsai.jupyter@2022.6.1001890150",
         // R extension 
         "REditorSupport.r",
     ],