From 7c8e65a48d4e8aeceecedbdcb3bb5e8279e0184f Mon Sep 17 00:00:00 2001 From: Chuck Lantz Date: Mon, 15 Apr 2019 10:54:00 -0700 Subject: [PATCH] Update devcontainer.json --- .../docker-existing-dockerfile/.devcontainer/devcontainer.json | 3 +++ 1 file changed, 3 insertions(+) diff --git a/containers/docker-existing-dockerfile/.devcontainer/devcontainer.json b/containers/docker-existing-dockerfile/.devcontainer/devcontainer.json index 50da6064d2..109c8e5616 100644 --- a/containers/docker-existing-dockerfile/.devcontainer/devcontainer.json +++ b/containers/docker-existing-dockerfile/.devcontainer/devcontainer.json @@ -7,6 +7,9 @@ // "Use the optional 'appPort' property to expose ports not already in your Dockerfile" "appPort": [], + + // "Add any extensions you want auto-installed here." + "extensions": [], // "The optional 'runArgs' property can be used to specify Docker CLI arguments to use when the container." // "is started. If you install the Docker CE CLI in your container, the runArgs list below will lets you interact"