From a7c7bdd32ac6190e49cfee8ed8dc7e1f236c09c1 Mon Sep 17 00:00:00 2001 From: Christof Marti Date: Wed, 22 May 2019 09:41:43 +0000 Subject: [PATCH] Add workspaceMount option (fixes microsoft/vscode-remote-release#41) --- .../configuration-editing/schemas/devContainer.schema.json | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/extensions/configuration-editing/schemas/devContainer.schema.json b/extensions/configuration-editing/schemas/devContainer.schema.json index ee5cf7c98ad..b6fd4469592 100644 --- a/extensions/configuration-editing/schemas/devContainer.schema.json +++ b/extensions/configuration-editing/schemas/devContainer.schema.json @@ -58,6 +58,10 @@ "workspaceFolder": { "type": "string", "description": "The path of the workspace folder inside the container." + }, + "workspaceMount": { + "type": "string", + "description": "The --mount parameter for docker run. The default is to mount the project folder at /workspaces/$project." } } },