diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile new file mode 100644 index 0000000000..d5d6a65991 --- /dev/null +++ b/.devcontainer/Dockerfile @@ -0,0 +1 @@ +FROM mcr.microsoft.com/vscode/devcontainers/base:debian diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 0000000000..3dbf88b17c --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,64 @@ +// 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-postgres +{ + "name": "Java & PostgreSQL", + "build": { + "context": "..", + "dockerfile": "Dockerfile" + }, + "workspaceFolder": "/workspaces/${localWorkspaceFolderBasename}", + "features": { + "ghcr.io/devcontainers-contrib/features/sbt-sdkman:2": { + "jdkVersion": "17" + }, + "ghcr.io/devcontainers-contrib/features/scala-sdkman:2": { + "jdkVersion": "17" + }, + "ghcr.io/devcontainers-contrib/features/scalacli-sdkman:2": { + "jdkVersion": "17" + }, + "ghcr.io/devcontainers/features/anaconda:1": {} + }, + // Features to add to the dev container. More info: https://containers.dev/features. + // "features": {} + // Use 'forwardPorts' to make a list of ports inside the container available locally. + // This can be used to network with other containers or with the host. + // "forwardPorts": [ + // 51000, + // 51001, + // 51002 + // ], + "customizations": { + "vscode": { + "extensions": [ + "scalameta.metals", + "scala-lang.scala", + "EditorConfig.EditorConfig", + "k--kato.intellij-idea-keybindings", + "editorconfig.editorconfig", + "github.vscode-pull-request-github", + "ms-azuretools.vscode-docker", + "ms-python.python", + "ms-python.vscode-pylance", + "ms-vsliveshare.vsliveshare", + "ryanluker.vscode-coverage-gutters", + "bungcip.better-toml", + "GitHub.copilot", + "GitHub.vscode-github-actions", + "ms-vscode.azurecli", + "ms-vscode.azure-account", + "zokugun.explicit-folding", + "MaxKless.git-squash-all", + "GitHub.copilot-labs", + "GitHub.codespaces" + ] + } + }, + "onCreateCommand": "sbt setup" + // Use 'postCreateCommand' to run commands after the container is created. + // "postCreateCommand": "java -version", + // Configure tool-specific properties. + // "customizations": {}, + // Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root. + // "remoteUser": "root" +}