Add devcontainer configuration for development #65
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR adds a devcontainer configuration that forwards common ports used during development including those for WebRTC. Installation of kraftkit and updating/upgrading occur on container creation using the
onCreateCommand
key. The latest Ubuntu LTS is used in an attempt to maintain some parity with the build pipeline.Note
Add VS Code devcontainer based on Ubuntu with Docker-in-Docker, Go/Node features, kraftkit install on create, and forwarded TCP/UDP ports (incl. WebRTC).
/.devcontainer/devcontainer.json
:mcr.microsoft.com/devcontainers/base:ubuntu
with features: Docker-in-Docker, Go, Node (latest).onCreateCommand
: apt setup, add Unikraft repo, installkraftkit
, system upgrade.444
(Kernel Images API),8080
(Web Interface),9222
(CDP); UDP range56000-56100
for WebRTC.Written by Cursor Bugbot for commit d028f0e. This will update automatically on new commits. Configure here.
TL;DR
Adds a devcontainer configuration to standardize the development environment.
Why we made these changes
To create a consistent development environment that mirrors the build pipeline, simplifies onboarding, and automates the installation of necessary tools like
kraftkit
.What changed?
.devcontainer/devcontainer.json
to define the development environment.onCreateCommand
to automatically installkraftkit
and run system updates on container creation.444
(API),8080
(Web),9222
(CDP), and the UDP port range56000-56100
for WebRTC.Validation
kraftkit
is installed and available in the container's terminal.Description generated by Mesa. Update settings