change directories for devcontainer

2025-06-06 08:41:31 +02:00
parent 8665e38b0c
commit 2e2c419f0a
3 changed files with 0 additions and 0 deletions
--- a/.devcontainer/ui/devcontainer.json
+++ b/.devcontainer/ui/devcontainer.json
@@ -0,0 +1,19 @@
+{
+  "name": "Bun",
+  "build": {
+    "dockerfile": "Dockerfile",
+    "args": {
+      "VARIANT": "latest"
+    }
+  },
+  "containerEnv": {
+    "GIT_REPO_URL": "https://scm.vilanet.fr/kriss/slot"
+  },
+  "customizations": {
+    "jetbrains": {}
+  },
+  "forwardPorts": [5173],
+  "workspaceFolder": "/workspace",
+  "//": "workspaceMount: source=jb_devcontainer_sources_f31d2e11122d7a0f1e78fb3337cc2916,target=/workspace,type=volume",
+  "//": "postCreateCommand: if [ ! -d .git ]; then git clone $GIT_REPO_URL .; fi"
+}