Skip to content

Introduce a less opinionated Dev Container for devpod development? #633

@imphil

Description

@imphil

#2 removed the original dev container config and build in https://github.com/skevetter/devpod/tree/main/.devcontainer and moved to a container in https://github.com/skevetter/devcontainers/tree/main/src/devpod. This container works, but I have two small problems with it:

  • It's a rather opinionated setup. For example, it uses zsh by default and even sets a color scheme.
  • It's unversioned and untied to the devpod repository itself, hence it cannot be easily changed together with code changes to the devpod repository (e.g., when bumping dependencies that also need to be present in the dev container).

While the current setup probably works great for you, @skevetter, it's a bit harder for other contributors to use. Would you be OK with me (re-) introducing a less opinionated container along with build support into this repository? (Looks like you got yourself into a situation where this isn't just a "fork for me" any more :-))

Customizations, including the installation of additional VS Code features, can still be done with VS Code settings that are then local to the user setup, and not shared with the whole project.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions