diff options
author | Mickaël Rémond <mremond@process-one.net> | 2021-04-13 08:24:01 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-13 08:24:01 +0000 |
commit | 0a55e0732632928f8fe0e271098432a3c81962cc (patch) | |
tree | b9c1b127e5b5aa609131f27dad05f90d894a3f83 /.devcontainer | |
parent | Update devcontainer.json (diff) |
Use Dockerfile
Diffstat (limited to '.devcontainer')
-rw-r--r-- | .devcontainer/devcontainer.json | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index a8ace9cc6..974bced7b 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -1,6 +1,12 @@ { "name": "ejabberd", // "dockerComposeFile": "docker-compose.yml", + "build": { + "dockerfile": "Dockerfile", + "args": { + "VARIANT": "1.11" + } + }, "workspaceFolder": "/workspace", // Set *default* container specific settings.json values on container create. @@ -9,7 +15,13 @@ }, // Add the IDs of extensions you want installed when the container is created. - // "extensions": [], + "extensions": [], + + // Use 'forwardPorts' to make a list of ports inside the container available locally. + "forwardPorts": [5222, 5280, 5269], + + // Use 'postCreateCommand' to run commands after the container is created. + // "postCreateCommand": "sh .devcontainer/post-create.sh", // Uncomment to connect as a non-root user. See https://aka.ms/vscode-remote/containers/non-root. "remoteUser": "vscode" |