feat: deploy portable workspace registry

2026-08-04 07:26:45 +02:00
parent 8effdc6c89
commit f71feecaea
11 changed files with 511 additions and 22 deletions
@@ -30,6 +30,9 @@ RUN ln -s /usr/local/lib/node_modules/npm/bin/npm-cli.js /usr/local/bin/npm \
 # Utente non-root
 RUN useradd --create-home --uid 10001 --shell /bin/bash thoth
 RUN mkdir -p /home/thoth/.pi/agent && chown -R thoth:thoth /home/thoth/.pi
+# Docker copies this owned directory into a newly-created named volume, allowing the non-root
+# runtime user to create the registry checkout, immutable snapshots, state, and locks.
+RUN mkdir -p /data/workspace-registry && chown -R thoth:thoth /data/workspace-registry

 COPY harness/ /app/harness/
 # Pi scrive lock/settings in .pi: ownership thoth per sopravvivere al rebuild