From 98fd27e638b218bd8b554c0c3415bc9bec4dd2d2 Mon Sep 17 00:00:00 2001 From: Mike Thompson Date: Wed, 27 Mar 2024 15:53:10 +1100 Subject: [PATCH] Create devcontainer.json --- .devcontainer/devcontainer.json | 36 +++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 .devcontainer/devcontainer.json diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 00000000..a6fbc26c --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,36 @@ +{ + "name": "re-com Development", + "build": { + "dockerfile": "Dockerfile", + "args": { + // Options + "CLOJURE_VERSION": "1.10.3" + } + }, + + // Configure tool-specific properties. + "customizations": { + // Configure properties specific to VS Code. + "vscode": { + // Set *default* container specific settings.json values on container create. + "settings": { + }, + + // Add the IDs of extensions you want to be installed when the container is created. + "extensions": [ + "vscjava.vscode-java-pack", + "borkdude.clj-kondo", + "betterthantomorrow.calva" + ] + } + }, + + // Use 'forwardPorts' to make a list of ports inside the container available locally. + // "forwardPorts": [], + + // Use 'postCreateCommand' to run commands after the container is created. + // "postCreateCommand": "java -version", + + // Comment out connect as root instead. More info: https://aka.ms/vscode-remote/containers/non-root. + "remoteUser": "vscode" +}