devcontainer update

remove workspaceMount as it seems ignored at creation time
2025-06-06 08:34:40 +02:00 · 2025-06-06 08:32:48 +02:00
1 changed files with 2 additions and 2 deletions
--- a/ui/.devcontainer/devcontainer.json
+++ b/ui/.devcontainer/devcontainer.json
@@ -13,7 +13,7 @@
    "jetbrains": {}
  },
  "forwardPorts": [5173],
-  "workspaceMount": "source=slot_sources,target=/workspace,type=volume",
  "workspaceFolder": "/workspace",
-  "postCreateCommand": "if [ ! -d .git ]; then git clone $GIT_REPO_URL .; fi"
+  "//": "workspaceMount: source=jb_devcontainer_sources_f31d2e11122d7a0f1e78fb3337cc2916,target=/workspace,type=volume",
+  "//": "postCreateCommand: if [ ! -d .git ]; then git clone $GIT_REPO_URL .; fi"
 }
Author	SHA1	Message	Date
Kriss	8665e38b0c	devcontainer update	2025-06-06 08:34:40 +02:00
Kriss	aedfc4c1d8	remove workspaceMount as it seems ignored at creation time	2025-06-06 08:32:48 +02:00