-
Notifications
You must be signed in to change notification settings - Fork 469
Add dev container #6962
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merged
Merged
Add dev container #6962
Changes from all commits
Commits
Show all changes
14 commits
Select commit
Hold shift + click to select a range
7c68294
Add devcontainer json
nojaf 5701865
Add GitHub CLI feature
nojaf ee16673
Try and create user instead of root.
7583828
Default to bash
nojaf e78c73e
Simplify Dockerfile and devcontainer
nojaf 8f24600
Move opam install to postCreate
nojaf bea02bd
Add ocamllabs.ocaml-platform extension
nojaf 582dc51
Add extensions
nojaf 3204bb6
Remove trailing comma
nojaf 25f883a
Add changelog entry
nojaf 8e6a359
Add opam env to bashrc
nojaf 535c0e5
Update contributing
nojaf c443368
Update CONTRIBUTING.md
nojaf 69b9a97
Update .devcontainer/postCreate.sh
nojaf File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
FROM mcr.microsoft.com/devcontainers/rust:1-1-bookworm | ||
LABEL org.opencontainers.image.authors="Christoph Knittel <[email protected]>" | ||
LABEL org.opencontainers.image.description="Docker image for ReScript development." | ||
|
||
RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \ | ||
&& apt-get -y install --no-install-recommends \ | ||
opam \ | ||
musl-tools \ | ||
python-is-python3 \ | ||
&& rm -rf /var/lib/apt/lists/* |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,27 @@ | ||
{ | ||
"name": "ReScript Compiler", | ||
"build": { | ||
"context": ".", | ||
"dockerfile": "Dockerfile" | ||
}, | ||
"features": { | ||
"ghcr.io/devcontainers/features/github-cli:1":{ | ||
"installDirectlyFromGitHubRelease": true, | ||
"version": "latest" | ||
}, | ||
"ghcr.io/devcontainers/features/node:1": { | ||
"version":"20" | ||
} | ||
}, | ||
"customizations": { | ||
"vscode": { | ||
"extensions": [ | ||
"ocamllabs.ocaml-platform", | ||
"chenglou92.rescript-vscode", | ||
"biomejs.biome", | ||
"rust-lang.rust-analyzer" | ||
] | ||
} | ||
}, | ||
"postCreateCommand": ".devcontainer/postCreate.sh" | ||
} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,15 @@ | ||
#!/bin/sh | ||
|
||
# Install dev dependencies from OPAM | ||
opam init -y --bare --disable-sandboxing | ||
opam switch create 5.2.0 --packages ocaml-option-static | ||
opam install . --deps-only -y | ||
|
||
# For IDE support, install the OCaml language server | ||
opam install ocaml-lsp-server -y | ||
|
||
# Add OPAM environment setup to shell startup script | ||
echo 'eval $(opam env)' >> ~/.zshrc | ||
echo 'eval $(opam env)' >> ~/.bashrc | ||
|
||
npm install --ignore-scripts |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file was deleted.
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.