summaryrefslogtreecommitdiff
path: root/.devcontainer
diff options
context:
space:
mode:
authorMickaël Rémond <mremond@process-one.net>2021-05-12 11:22:45 +0200
committerGitHub <noreply@github.com>2021-05-12 11:22:45 +0200
commit2698024b82aebcb76e484e518e09067cc80cb0ac (patch)
tree6ca66fef8057106cbd1a1234c71295db2ee0b53d /.devcontainer
parentRemove set up already set in prebuilt image (diff)
Use latest version of the container
This is the only image available for now
Diffstat (limited to '.devcontainer')
-rw-r--r--.devcontainer/devcontainer.json2
1 files changed, 1 insertions, 1 deletions
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index b548ea44..1e05cfed 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -4,7 +4,7 @@
"build": {
"dockerfile": "Dockerfile",
"args": {
- "VARIANT": "1.11"
+ "VARIANT": "latest" // 1.11.4
}
},
"workspaceFolder": "/workspace",