3 Commits

Author	SHA1	Message	Date
Jonathan Schwender	4fa57ff0ff	devcontainer: Add a dockerignore (#43127) ... Rename the dockerfile and add a dockerignore. This reduces the size of the build-context greatly. Renaming is a preparation for later adding more possible dockerfiles (e.g. fedora based etc). We choose the filename based `.dockerignore` files over a `.dockerignore` in the root folder mainly to reduce clutter in the root folder. This addresses the problem of large build context raised on zulip by @glyn. Testing: Manually tested by building the image locally. Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>	2026-03-10 09:20:40 +00:00
Jonathan Schwender	73af1bf099	devcontainer: Use our own dockerfile (#42166) ... Switch to using our own dockerfile, and install the required dependencies into our image. In follow-ups we can build the docker image in CI, so that users can download a prebuilt docker image to save time. Testing: Manually tested by opening servo in the devcontainer and running `./mach build` Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>	2026-01-28 05:18:40 +00:00
Jonathan Schwender	948f5b17c0	Add devcontainer configuration (#40500) ... The devcontainer configuration makes it easier for users to setup a working environment, by using docker / podman and a devcontainer IDE plugin (or the CLI). Testing: Manually tested the configuration in VS code on linux. Fixes: #40469 --------- Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>	2026-01-24 07:28:19 +00:00