Create devcontainer.json

etspaceman · Aug 13, 2023 · b7856ef · b7856ef
1 parent 377055a
commit b7856ef
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,11 @@
+// For format details, see https://aka.ms/devcontainer.json. For config options, see the
+// README at: https://github.com/devcontainers/templates/tree/main/src/java
+{
+	"name": "Scala",
+	"image": "ghcr.io/etspaceman/devcontainer-scala:latest",
+  "customizations": {
+      "vscode": {
+          "extensions": ["scala-lang.scala", "scalameta.metals", "disneystreaming.smithy"]
+      }
+   }
+}