Skip to content

Commit

Permalink
update devcontainer (#1265)
Browse files Browse the repository at this point in the history
  • Loading branch information
tonyfettes authored Nov 28, 2024
1 parent fd76adf commit d8eeb7c
Show file tree
Hide file tree
Showing 5 changed files with 15 additions and 9 deletions.
11 changes: 8 additions & 3 deletions .devcontainer/devcontainer.json
Original file line number Diff line number Diff line change
Expand Up @@ -3,11 +3,16 @@
{
"name": "Ubuntu",
// Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
"image": "mcr.microsoft.com/devcontainers/base:jammy",
"build": {
"dockerfile": "dockerfile",
"options": [
"--platform=linux/amd64"
]
},

// Features to add to the dev container. More info: https://containers.dev/features.
"features": {
"./moonbit-cli": {
"./moonbit": {
"version": "0.0.1"
}
},
Expand All @@ -23,7 +28,7 @@
"vscode": {
"extensions": ["moonbit.moonbit-lang"]
}
},
}

// Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
// "remoteUser": "root"
Expand Down
1 change: 1 addition & 0 deletions .devcontainer/dockerfile
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
FROM --platform=amd64 mcr.microsoft.com/devcontainers/base:jammy
5 changes: 0 additions & 5 deletions .devcontainer/moonbit-cli/devcontainer-feature.json

This file was deleted.

5 changes: 5 additions & 0 deletions .devcontainer/moonbit/devcontainer-feature.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
{
"id": "moonbit",
"version": "0.0.1",
"name": "moonbit"
}
Original file line number Diff line number Diff line change
@@ -1 +1 @@
sudo -u $_REMOTE_USER /bin/bash -c "$(curl -fsSL https://cli.moonbitlang.com/ubuntu_x86_64_moon_setup.sh)"
sudo -u $_REMOTE_USER /bin/bash -c "$(curl -fsSL https://cli.moonbitlang.com/install/unix.sh)"

0 comments on commit d8eeb7c

Please sign in to comment.