From 0b6ceb2b261851fdf5a96657538bcb2b94d9a5c5 Mon Sep 17 00:00:00 2001 From: Casper Meijn Date: Fri, 24 Nov 2023 15:50:47 +0100 Subject: [PATCH] build: Add development container config Add configuration to dev container [1] to ease development for new contributors. Github Codespaces will automatically load the correct environment to start development. VSCode will suggest to re-open the project in a dev container. [1]: https://containers.dev/ --- .devcontainer/devcontainer.json | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 .devcontainer/devcontainer.json diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 000000000..8828173fb --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,16 @@ +{ + "name": "Rust", + "image": "mcr.microsoft.com/devcontainers/rust:1-1-bullseye", + "features": { + "ghcr.io/devcontainers-contrib/features/apt-packages:1": { + "packages": "cmake,ninja-build,protobuf-compiler,libprotoc-dev" + } + }, + "customizations": { + "vscode": { + "extensions": [ + "zxh404.vscode-proto3" + ] + } + } +}