Add devcontainer CLI instructions - #8635
Conversation
Signed-off-by: Christoph Knittel <ck@cca.io>
Signed-off-by: Christoph Knittel <ck@cca.io>
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 2cf5c94e4a
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| @@ -0,0 +1,2 @@ | |||
| devcontainer-lock.json | |||
There was a problem hiding this comment.
Keep the feature lockfile under version control
When contributors create this container from separate clean checkouts, ignoring the generated lockfile means each checkout independently resolves the floating Feature references (github-cli:1 with latest and node:1). This can install different Feature implementations over time and undermines the documented stable environment; commit devcontainer-lock.json so all contributors use the same resolved versions and integrity hashes.
Useful? React with 👍 / 👎.
rescript
@rescript/belt
@rescript/darwin-arm64
@rescript/darwin-x64
@rescript/linux-arm64
@rescript/linux-x64
@rescript/runtime
@rescript/win32-x64
commit: |
Summary
devcontainer-lock.jsonMotivation
The development container relies on features declared in
devcontainer.jsonto install tools such as Node.js. This was not clear when using the configuration outside VS Code, and building the Dockerfile directly results in an incomplete development environment.