add jupyter extension to be installed when in dev container

FunJim · FunJim · commit a2952870c071 · 2023-11-30T11:40:35.000+08:00
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -6,6 +6,11 @@
     "customizations": {
       "codespaces": {
         "openFiles": ["tutorial/README.md"]
+      },
+      // Configure properties specific to VS Code.
+      "vscode": {
+        // Add the IDs of extensions you want installed when the container is created.
+        "extensions": ["ms-toolsai.jupyter"]
       }
     }
   }

Original file line number	Diff line number	Diff line change
`@@ -6,6 +6,11 @@`
`6`	`6`	`"customizations": {`
`7`	`7`	`"codespaces": {`
`8`	`8`	`"openFiles": ["tutorial/README.md"]`
	`9`	`+ },`
	`10`	`+ // Configure properties specific to VS Code.`
	`11`	`+ "vscode": {`
	`12`	`+ // Add the IDs of extensions you want installed when the container is created.`
	`13`	`+ "extensions": ["ms-toolsai.jupyter"]`
`9`	`14`	`}`
`10`	`15`	`}`
`11`	`16`	`}`