Skip to content

Commit 08c5d2e

Browse files
committed
Move the ubuntu 25.04 devcontainer files to a new directory
This will allow to use the default github devcontainer
1 parent d518640 commit 08c5d2e

File tree

2 files changed

+6
-2
lines changed

2 files changed

+6
-2
lines changed
File renamed without changes.

.devcontainer/devcontainer.json renamed to .devcontainer/ubuntu_25.04/devcontainer.json

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,10 @@
55
"dockerfile": "Dockerfile"
66
},
77

8+
"hostRequirements": {
9+
"cpus": 4
10+
},
11+
812
"runArgs": ["--cap-add=SYS_PTRACE", "--security-opt", "seccomp=unconfined"],
913

1014
"postCreateCommand": "./scripts/devcontainer-post-create.sh",
@@ -26,8 +30,8 @@
2630
"ghcr.io/devcontainers/features/node:1": {
2731
"version": "latest"
2832
},
29-
"./features/emscripten": {},
30-
"./features/wasi-sdk": {}
33+
"../features/emscripten": {},
34+
"../features/wasi-sdk": {}
3135
},
3236

3337
"customizations": {

0 commit comments

Comments
 (0)