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": {