🥇 export from upstream (be15b0d)

2026-05-21 23:15:51 +02:00
commit 29225e08fb
19 changed files with 3254 additions and 0 deletions
@@ -0,0 +1,41 @@
+services:
+  claude:
+    build: ../images/claude
+    working_dir: /workspace
+    user: "${SANDCAGE_UID}:${SANDCAGE_GID}"
+    volumes:
+      - ${SANDCAGE_WORKSPACE}:/workspace
+      - ${SANDCAGE_HOME}/.claude:/home/agent/.claude
+      - ${SANDCAGE_GLOBAL_JUSTFILE}:/home/agent/.justfile:ro
+    environment:
+      - HOME=/home/agent
+    tty: true
+    stdin_open: true
+
+  codex:
+    build: ../images/codex
+    working_dir: /workspace
+    user: "${SANDCAGE_UID}:${SANDCAGE_GID}"
+    volumes:
+      - ${SANDCAGE_WORKSPACE}:/workspace
+      - ${SANDCAGE_HOME}/.codex:/home/agent/.codex
+      - ${SANDCAGE_GLOBAL_JUSTFILE}:/home/agent/.justfile:ro
+    environment:
+      - HOME=/home/agent
+    tty: true
+    stdin_open: true
+
+  shell:
+    build: ../images/base
+    working_dir: /workspace
+    user: "${SANDCAGE_UID}:${SANDCAGE_GID}"
+    volumes:
+      - ${SANDCAGE_WORKSPACE}:/workspace
+      - ${SANDCAGE_HOME}/.claude:/home/agent/.claude
+      - ${SANDCAGE_HOME}/.codex:/home/agent/.codex
+      - ${SANDCAGE_GLOBAL_JUSTFILE}:/home/agent/.justfile:ro
+    environment:
+      - HOME=/home/agent
+    tty: true
+    stdin_open: true
+    entrypoint: ["/bin/zsh"]