diff --git a/.devcontainer/Dockerfile b/.devcontainer/Ubuntu.Dockerfile similarity index 100% rename from .devcontainer/Dockerfile rename to .devcontainer/Ubuntu.Dockerfile diff --git a/.devcontainer/Ubuntu.Dockerfile.dockerignore b/.devcontainer/Ubuntu.Dockerfile.dockerignore new file mode 100644 index 00000000000..99e9b1a3006 --- /dev/null +++ b/.devcontainer/Ubuntu.Dockerfile.dockerignore @@ -0,0 +1,3 @@ +* +!/.devcontainer +!/python/servo/platform/linux_packages diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 562160cba9e..1636494f549 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -3,7 +3,7 @@ { "name": "Ubuntu", "build": { - "dockerfile": "Dockerfile", + "dockerfile": "Ubuntu.Dockerfile", "context": ".." },