feat: profile-gated workspace-maintenance service and connector override generator (P2)

2026-08-11 18:40:11 +02:00
parent 17f2e48463
commit c5f65d0f15
9 changed files with 156 additions and 19 deletions
@@ -35,3 +35,18 @@ services:
    ports:
      - "${THOTH_SERVER_BIND:-127.0.0.1}:${THOTH_HTTP_PORT:-8080}:8080"
    restart: unless-stopped
+
+
+  workspace-maintenance:
+    environment:
+      THT_DATA_ROOT: /data
+      THT_WORKSPACE_INSTALLATION_ID: server
+    volumes: !override
+      - type: bind
+        source: ${THT_DATA_ROOT:?set THT_DATA_ROOT}/sessions
+        target: /data/sessions
+      - type: bind
+        source: ${THT_WORKSPACE_REGISTRY_ROOT:?set THT_WORKSPACE_REGISTRY_ROOT}
+        target: /data/workspace-registry
+        read_only: true
+    restart: "no"