mirror of
https://github.com/servo/servo
synced 2026-04-26 01:25:32 +02:00
devcontainer: Use new prebuilt devcontainer image. (#43139)
Follow-up to #43131. Testing: Tested locally. Note: This only works for x86_64 based systems. Arm Linux users will need to build from source, but building in the devcontainer on arm linux is anyway not working currently. Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>
This commit is contained in:
committed by
GitHub
parent
aae5c4cd97
commit
04ca254f84
@@ -2,10 +2,12 @@
|
||||
// README at: https://github.com/devcontainers/templates/tree/main/src/ubuntu
|
||||
{
|
||||
"name": "Ubuntu",
|
||||
"build": {
|
||||
"dockerfile": "Ubuntu.Dockerfile",
|
||||
"context": ".."
|
||||
},
|
||||
"image": "ghcr.io/servo/servo/devcontainer-ubuntu:latest",
|
||||
// Alternatively, uncomment the "build" property below to build the image from the Dockerfile in this folder.
|
||||
// "build": {
|
||||
// "dockerfile": "Ubuntu.Dockerfile",
|
||||
// "context": ".."
|
||||
// },
|
||||
|
||||
|
||||
// Most dependencies are installed in the image, but we run mach bootstrap to ensure
|
||||
|
||||
Reference in New Issue
Block a user