From a3ce655638718adb2f4379e0d7f8ef34a7480bd5 Mon Sep 17 00:00:00 2001 From: Nicolas Bock Date: Wed, 12 Apr 2023 11:34:51 -0600 Subject: [PATCH] Pull devcontainer from Docker Hub Which is much faster than building a fresh container image every time. Signed-off-by: Nicolas Bock --- .devcontainer/devcontainer.json | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index be753c99..60a3465f 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -1,13 +1,7 @@ // For format details, see https://aka.ms/devcontainer.json. For config options, see the // README at: https://github.com/devcontainers/templates/tree/main/src/docker-existing-dockerfile { - "name": "Existing Dockerfile", - "build": { - // Sets the run context to one level up instead of the .devcontainer folder. - "context": "..", - // Update the 'dockerFile' property if you aren't using the standard 'Dockerfile' filename. - "dockerfile": "../Dockerfile-focal" - }, + "image": "nicolasbock/bml:latest", // Features to add to the dev container. More info: https://containers.dev/features. // "features": {},