From e1247a0184508add555d66b79ed2d4d11c645e0a Mon Sep 17 00:00:00 2001 From: amaury Date: Fri, 7 Jun 2024 11:25:41 +0200 Subject: [PATCH] init --- .devcontainer/devcontainer.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index c2055a5..810862f 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -12,7 +12,7 @@ // //Add your customizations here // }, // "forwardPorts": [], //Add your port forwarding from inside/oustide here - "workspaceMount": "source=/home/amaury/Documents/stage/ConsistenceFaibleByzantine/,target=/workspaces/containers,type=bind", //Add your local mounting inside the DevContainer here + "workspaceMount": "source=${localWorkspaceFolder},target=/workspaces/containers,type=bind", //Add your local mounting inside the DevContainer here "workspaceFolder": "/workspaces/containers", //Add your workspace folder here "customizations": { "vscode": {