{ "workspaceFolder": "/workspace", "workspaceMount": "source=${localWorkspaceFolder},target=/workspace,type=bind,Z", "remoteUser": "dev", "mounts": [ "source=${localEnv:HOME}/.ssh,target=/root/.ssh,type=bind,readonly" ], "build": { "dockerfile": "Dockerfile", "args": { "USERNAME": "dev", "USER_UID": "${localEnv:UID}", "USER_GID": "${localEnv:GID}" }, }, "containerEnv": { "SHELL": "/bin/bash" }, "postCreateCommand": "docker context create prod --docker \"host=ssh://user@62.210.212.10\"" }