From 5355f47bc20e3281e0672df789820dd52450c424 Mon Sep 17 00:00:00 2001 From: Zixuan Chen Date: Tue, 15 Nov 2022 10:07:18 +0000 Subject: [PATCH] chore: add dev container --- .devcontainer/devcontainer.json | 32 ++++++++++++++++---------------- 1 file changed, 16 insertions(+), 16 deletions(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 32d83c9c..889b64e3 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -1,23 +1,23 @@ { - "name": "Rust", - "image": "mcr.microsoft.com/devcontainers/rust:1-bullseye", - "features": { - "ghcr.io/devcontainers/features/node:1": {}, - "ghcr.io/devcontainers-contrib/features/deno:1": {} - }, + "name": "Rust", + "image": "mcr.microsoft.com/devcontainers/rust:1-bullseye", + "features": { + "ghcr.io/devcontainers/features/node:1": {}, + "ghcr.io/devcontainers-contrib/features/deno:1": {} + }, - // Features to add to the dev container. More info: https://containers.dev/implementors/features. - // "features": {}, + // Features to add to the dev container. More info: https://containers.dev/implementors/features. + // "features": {}, - // Use 'forwardPorts' to make a list of ports inside the container available locally. - // "forwardPorts": [], + // 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": "bash scripts/install-dev-tools.sh" + // Use 'postCreateCommand' to run commands after the container is created. + "postCreateCommand": "bash scripts/install-dev-tools.sh" - // Configure tool-specific properties. - // "customizations": {}, + // Configure tool-specific properties. + // "customizations": {}, - // Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root. - // "remoteUser": "root" + // Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root. + // "remoteUser": "root" }