Add definition of CHERIOT_TOOLS env var to default profile

Open Beginner friendly
#62 1 comment 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
2/5
Estimated time
1-3 hours
Newbie friendliness
72/100
Issue type
Feature
Clarity
Mostly clear
Activity status
Active
Tech stack
docker, dockerfile

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.

Description

This would make it simpler to have examples/tutorials that work inside and outside of the devcontainer.

Dominant language
Dockerfile
Stars
5
Forks
9
Avg merge
3h 33m
Merged PRs (30d)
7

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from CHERIoT-Platform/devcontainer

All issues in CHERIoT-Platform/devcontainer

Similar issues

More DevTools issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.