From 088c7ad8612d1688860c53e61aa3bca8619c9825 Mon Sep 17 00:00:00 2001
From: Krzysztof Wojciechowski <kwojciecho@laas.fr>
Date: Sun, 24 Nov 2024 22:32:12 +0100
Subject: [PATCH] Change docker image ref in devcontainer.json
---
.devcontainer/devcontainer.json | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 9b94d54..ee532d8 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -1,11 +1,11 @@
{
"name": "gepetto-devcontainer",
// Uncomment ``build`` and comment out ``image`` to build from source
- "build": {
- "dockerfile": "Dockerfile",
- "context": "."
- },
- // "image": "gitlab.laas.fr:4567/kwojciecho/gepetto-dev-container:humble",
+ // "build": {
+ // "dockerfile": "Dockerfile",
+ // "context": "."
+ // },
+ "image": "gitlab.laas.fr:4567/agimus-project/agimus_dev_container:humble-devel-coding-week-prague",
"initializeCommand": "xhost +local:docker",
"containerEnv": {
"DISPLAY": "${localEnv:DISPLAY}",
--
GitLab