From b7856ef14d84a2fd550b23af2e827989878b20a7 Mon Sep 17 00:00:00 2001 From: Eric Meisel Date: Sun, 13 Aug 2023 10:49:03 -0500 Subject: [PATCH] Create devcontainer.json --- .devcontainer/devcontainer.json | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 .devcontainer/devcontainer.json diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 0000000..1e249cd --- /dev/null +++ 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"] + } + } +}