CHERIoT-Platform / CHERIoT-Platform/devcontainer
Add definition of CHERIOT_TOOLS env var to default profile
Open
Beginner friendly
- Dominant language
- Dockerfile
- Stars
- 5
- Forks
- 9
- Avg merge
- 3h 33m
- Merged PRs (30d)
- 7
Description
This would make it simpler to have examples/tutorials that work inside and outside of the devcontainer.
Contributor guide
No contributing guide indexed for this repository
Research direction
Inspect the devcontainer configuration and its default profile, then search for existing CHERIOT_TOOLS references and how examples or tutorials set environment variables. Define CHERIOT_TOOLS in the default profile so examples work both inside and outside the devcontainer, and verify the resulting environment in both contexts.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- docker, dockerfile
- Domain
- developer-experience, devops
- Issue type
- Feature
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Active
- Clarity
- Mostly clear
- Newbie friendliness
- 72/100