Skip to content

The dev container is currently built from a local dockerfile; use prebuilt image instead #1

@mclevey

Description

@mclevey

The dev container is currently built from a local dockerfile. The downside is it takes a long time to build the container the first time you run the repo in GitHub codespaces. It would be much faster to use a pre-built image instead. I could do this by building the same container and then uploading it to Dockerhub, and then modifying the .devcontainer.json file to pull the hosted image instead of building it in codespaces. This would make things much faster while keeping all functionality the same.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions