From 3b65bd416d0144981a9dbb9d43a761234131a762 Mon Sep 17 00:00:00 2001 From: Gianpaolo Macario Date: Tue, 10 Sep 2024 08:07:40 +0200 Subject: [PATCH 1/3] Add Dev Container configuration files Created with the help of VSCode wizard Signed-off-by: Gianpaolo Macario --- .devcontainer/devcontainer.json | 25 +++++++++++++++++++++++++ .github/dependabot.yml | 12 ++++++++++++ 2 files changed, 37 insertions(+) create mode 100644 .devcontainer/devcontainer.json create mode 100644 .github/dependabot.yml diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 00000000..98ce1bab --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,25 @@ +// For format details, see https://aka.ms/devcontainer.json. For config options, see the +// README at: https://github.com/devcontainers/templates/tree/main/src/ubuntu +{ + "name": "Ubuntu", + // Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile + "image": "mcr.microsoft.com/devcontainers/base:jammy", + "features": { + "ghcr.io/devcontainers/features/docker-in-docker:2": {} + } + + // 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. + // "forwardPorts": [], + + // Use 'postCreateCommand' to run commands after the container is created. + // "postCreateCommand": "uname -a", + + // Configure tool-specific properties. + // "customizations": {}, + + // Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root. + // "remoteUser": "root" +} diff --git a/.github/dependabot.yml b/.github/dependabot.yml new file mode 100644 index 00000000..f33a02cd --- /dev/null +++ b/.github/dependabot.yml @@ -0,0 +1,12 @@ +# To get started with Dependabot version updates, you'll need to specify which +# package ecosystems to update and where the package manifests are located. +# Please see the documentation for more information: +# https://docs.github.com/github/administering-a-repository/configuration-options-for-dependency-updates +# https://containers.dev/guide/dependabot + +version: 2 +updates: + - package-ecosystem: "devcontainers" + directory: "/" + schedule: + interval: weekly From 0438cd667bd8520e903c7c18ed92b0bfc5fb9281 Mon Sep 17 00:00:00 2001 From: Gianpaolo Macario Date: Tue, 10 Sep 2024 08:09:04 +0200 Subject: [PATCH 2/3] Add VSCode Extension: Git Graph Signed-off-by: Gianpaolo Macario --- .devcontainer/devcontainer.json | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 98ce1bab..4a06e5bf 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -4,12 +4,11 @@ "name": "Ubuntu", // Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile "image": "mcr.microsoft.com/devcontainers/base:jammy", - "features": { - "ghcr.io/devcontainers/features/docker-in-docker:2": {} - } // Features to add to the dev container. More info: https://containers.dev/features. - // "features": {}, + "features": { + "ghcr.io/devcontainers/features/docker-in-docker:2": {} + }, // Use 'forwardPorts' to make a list of ports inside the container available locally. // "forwardPorts": [], @@ -18,7 +17,13 @@ // "postCreateCommand": "uname -a", // Configure tool-specific properties. - // "customizations": {}, + "customizations": { + "vscode": { + "extensions": [ + "mhutchie.git-graph" + ] + } + } // Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root. // "remoteUser": "root" From 68a21f4afe48d3dbbaeeb6a1d65d103c01120536 Mon Sep 17 00:00:00 2001 From: Gianpaolo Macario Date: Tue, 10 Sep 2024 08:09:52 +0200 Subject: [PATCH 3/3] Add VSCode Extension: SpaceRos Dashboard Signed-off-by: Gianpaolo Macario --- .devcontainer/devcontainer.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 4a06e5bf..b8c1eedb 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -20,7 +20,8 @@ "customizations": { "vscode": { "extensions": [ - "mhutchie.git-graph" + "mhutchie.git-graph", + "openrobotics.spaceros-dashboard" ] } }