Files
infra/.devcontainer/devcontainer.json
T

13 lines
452 B
JSON

{
"workspaceFolder": "/workspace",
"workspaceMount": "source=${localWorkspaceFolder},target=/workspace,type=bind,Z",
"runArgs": ["--userns=keep-id", "--security-opt", "label=disable"],
"mounts": [
"source=${localEnv:HOME}/.ssh,target=/root/.ssh,type=bind,readonly"
],
"build": {
"dockerfile": "Dockerfile"
},
"postAttachCommand": "docker context create prod --docker \"host=ssh://user@62.210.212.10\""
}