From 5b7f2e29d5122942df851e36c56b68d2503e017c Mon Sep 17 00:00:00 2001 From: Michael Lim Date: Thu, 28 Mar 2024 04:38:18 +0800 Subject: [PATCH] Update 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..a144b150 --- /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" +}