Skip to content

Add a .devcontainer configuration to the repository #1537

@phaarnes

Description

@phaarnes

Add a .devcontainer configuration to the repository so contributors can easily spin up a ready-to-code environment using GitHub Codespaces or VS Code Dev Containers.

Setting up the development environment manually can be time-consuming and error-prone, especially for new contributors. By including a devcontainer.json (and optionally a Dockerfile), contributors will be able to open the repository in a Codespace or local VS Code environment and start coding immediately—without needing to install dependencies manually.

Proposed Solution:

Configure the environment to include all necessary dependencies, SDKs, linters, and build tools by adding:

  • Add a .devcontainer folder containing:
  • devcontainer.json — defines the development environment settings, extensions, and ports.
  • Dockerfile — specifies the base image and any additional dependencies or tools required for the project.

Benefits:

  • Zero setup time for new contributors.
  • Consistent development environment across all contributors.
  • Easier onboarding

Additional Context:

I can create a pull request adding the initial .devcontainer setup and configuration.

Metadata

Metadata

Assignees

No one assigned

    Labels

    proposalIdea for a new feature.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions