chore: rename devcontainer config to json

theodo · Aug 6, 2024 · d258d6e · d258d6e
1 parent 5d4f6af
commit d258d6e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.devcontainer/devcontainer.jsonc → .devcontainer/devcontainer.json b/.devcontainer/devcontainer.jsonc → .devcontainer/devcontainer.json
@@ -5,7 +5,7 @@
   // Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
   "image": "mcr.microsoft.com/devcontainers/python:0-3.11-bullseye",
   "features": {
-    "ghcr.io/devcontainers-contrib/features/coverage-py:2": {},
+    "ghcr.io/devcontainers-contrib/features/coverage-py:2": {}
   },
 
   // Features to add to the dev container. More info: https://containers.dev/features.
@@ -15,7 +15,7 @@
   // "forwardPorts": [],
 
   // Use 'postCreateCommand' to run commands after the container is created.
-  "postCreateCommand": "pip3 install --user -r requirements.txt",
+  "postCreateCommand": "pip3 install --user -r requirements.txt"
 
   // Configure tool-specific properties.
   // "customizations": {},