language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-07-07 14:44:59 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

used roc image for devcontainer

Browse source
This commit is contained in:
Timon 2025-01-07 23:07:29 +00:00 • committed by GitHub
parent 8540aa1a14
commit 8aaf08e7e9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 11 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

22
.devcontainer/devcontainer.json
View file

@ -1,9 +1,9 @@
// For format details, see https://aka.ms/devcontainer.json. For config options, see the
// README at: https://github.com/devcontainers/templates/tree/main/src/rust
{
"name": "Rust",
"name": "roc-devcontainer",
// Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
"image": "mcr.microsoft.com/devcontainers/rust:1-1-bullseye",
"image": "roclang/devcontainer:latest",
// Use 'mounts' to make the cargo cache persistent in a Docker Volume.
// "mounts": [
@ -15,20 +15,20 @@
// ]
// Features to add to the dev container. More info: https://containers.dev/features.
"features": {
"ghcr.io/devcontainers-contrib/features/zig:1": {
"version": "0.13.0"
},
"ghcr.io/devcontainers-community/features/llvm:3": {
"version": 18
}
},
// "features": {
// "ghcr.io/devcontainers-contrib/features/zig:1": {
// "version": "0.13.0"
// },
// "ghcr.io/devcontainers-community/features/llvm:3": {
// "version": 18
// }
// },
// Use 'forwardPorts' to make a list of ports inside the container available locally.
// "forwardPorts": [],
// Use 'postCreateCommand' to run commands after the container is created.
// "postCreateCommand": "rustc --version",
"onCreateCommand": "sudo apt-get update && sudo apt-get install -y pkg-config libz-dev libzstd-dev valgrind"
// "onCreateCommand": "sudo apt-get update && sudo apt-get install -y pkg-config libz-dev libzstd-dev valgrind"
// Configure tool-specific properties.
// "customizations": {},