chore: add python extension to devcontainer

dvirtz · Sep 20, 2023 · 32857de · 32857de
1 parent f5967fa
commit 32857de
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/.cspell.json b/.cspell.json
@@ -3,6 +3,7 @@
     "language": "en",
     "words": [
         "commitlint",
+        "devcontainer",
         "dvirtz",
         "kbajalc",
         "prebuilds",

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -19,7 +19,13 @@
 	// "postCreateCommand": "cat /etc/os-release",
 
 	// Configure tool-specific properties.
-	// "customizations": {},
+	"customizations": {
+		"vscode": {
+			"extensions": [
+				"ms-python.python"
+			]
+		}
+	},
 
 	// Uncomment to connect as an existing user other than the container default. More info: https://aka.ms/dev-containers-non-root.
 	"remoteUser": "runneradmin",