Files
infra/.devcontainer/devcontainer.json
T

21 lines
587 B
JSON

{
"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\""
}