From 9d087de853e1dfee43d65f80eb4aa80879eebca9 Mon Sep 17 00:00:00 2001 From: Christophe Vila Date: Wed, 4 Jun 2025 23:26:12 +0200 Subject: [PATCH] update on devcontainer --- ui/.devcontainer/devcontainer.json | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/ui/.devcontainer/devcontainer.json b/ui/.devcontainer/devcontainer.json index 5929f71..0e73ffb 100644 --- a/ui/.devcontainer/devcontainer.json +++ b/ui/.devcontainer/devcontainer.json @@ -2,17 +2,18 @@ "name": "Bun", "build": { "dockerfile": "Dockerfile", - // Update 'VARIANT' to pick a Bun version. "args": { "VARIANT": "latest" } }, - "customizations": { - "jetbrains": { - "backend": "IntelliJ" - } + "containerEnv": { + "GIT_REPO_URL": "https://scm.vilanet.fr/kriss/slot" }, - "workspaceMount": "source=jb_devcontainer_sources_f31d2e11122d7a0f1e78fb3337cc2916,target=/workspace,type=volume", + "customizations": { + "jetbrains": {} + }, + "forwardPorts": [5173], + "workspaceMount": "source=slot_sources,target=/workspace,type=volume", "workspaceFolder": "/workspace", - "forwardPorts": [5173] + "postCreateCommand": "if [ ! -d .git ]; then git clone $GIT_REPO_URL .; fi" }