From acb77e4f6bc764343e1104668bcdb7c25b0ec2e8 Mon Sep 17 00:00:00 2001 From: Marc Doerflinger Date: Mon, 4 Dec 2023 19:42:58 +0000 Subject: [PATCH] devcontainer --- .devcontainer/devcontainer.json | 34 +++++++++++++++++---------------- 1 file changed, 18 insertions(+), 16 deletions(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 08fc095b..fd36cfa2 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -6,11 +6,6 @@ "service": "app", "workspaceFolder": "/workspace", // Set *default* container specific settings.json values on container create. - "settings": { - //"terminal.integrated.shell.linux": "/bin/bash" - "editor.fontFamily": "'JetBrainsMono Nerd Font Mono', Menlo, Monaco, 'Courier New', monospace", - "editor.fontSize": 13, - }, "features": { "ghcr.io/devcontainers/features/docker-outside-of-docker:1": {} @@ -18,17 +13,24 @@ }, // Add the IDs of extensions you want installed when the container is created. - "extensions": [ - "rebornix.Ruby", - "mhutchie.git-graph", - "eamodio.gitlens", - "castwide.solargraph", - "bradlc.vscode-tailwindcss", - "github.copilot", - "gruntfuggly.todo-tree", - "oderwat.indent-rainbow", - "2gua.rainbow-brackets", - ], + "customizations": { + "settings": { + //"terminal.integrated.shell.linux": "/bin/bash" + "editor.fontFamily": "'JetBrainsMono Nerd Font Mono', Menlo, Monaco, 'Courier New', monospace", + "editor.fontSize": 13 + }, + "extensions": [ + "rebornix.Ruby", + "mhutchie.git-graph", + "eamodio.gitlens", + "castwide.solargraph", + "bradlc.vscode-tailwindcss", + "github.copilot", + "gruntfuggly.todo-tree", + "oderwat.indent-rainbow", + "2gua.rainbow-brackets" + ] + }, // Use 'forwardPorts' to make a list of ports inside the container available locally. "forwardPorts": [3000],