Skip to content

Commit 92506df

Browse files
authored
dockerfile used to edit the AGENTS.md but then that (#1882)
left the git repository as modified which doesnt work well with how ralph works, it wants to commit any changes. therefore just added to the end of AGENTS.md to read the ralph/DEPLOY.md if its running as ralph
1 parent 429bb45 commit 92506df

File tree

2 files changed

+9
-5
lines changed

2 files changed

+9
-5
lines changed

AGENTS.md

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -351,3 +351,12 @@ Sometimes a low-level try/catch is appropriate, of course:
351351
ED25519 features we need supported natively for this platform? if not use a
352352
polyfill), then this is not a fatal error, and we explicitly do not want to
353353
throw and handle it elsewhere.
354+
355+
## Ralph Container Information
356+
357+
If you are running inside the Ralph Docker container (user is "ralph" or
358+
`/app/start-servers.sh` exists):
359+
360+
- See `tools/ralph/DEPLOY.md` for Playwright MCP testing and server restart
361+
instructions
362+
- The servers are already running on localhost (toolshed on 8000, shell on 5173)

tools/ralph/Dockerfile

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -54,11 +54,6 @@ WORKDIR /app
5454
RUN git clone https://github.com/commontoolsinc/labs.git /app/labs && \
5555
chown -R ralph:ralph /app/labs
5656

57-
# Copy and append DEPLOY.md to AGENTS.md
58-
COPY --chown=ralph:ralph DEPLOY.md /tmp/DEPLOY.md
59-
RUN cat /tmp/DEPLOY.md >> /app/labs/AGENTS.md && \
60-
rm /tmp/DEPLOY.md
61-
6257
# Copy the startup script from local directory
6358
COPY --chown=ralph:ralph start-servers.sh /app/start-servers.sh
6459
RUN chmod +x /app/start-servers.sh

0 commit comments

Comments
 (0)