| # debian.sh --arch 'amd64' out/ 'stable' '@1787529600' |
| /bin/sh -c apt-get update && apt-get install -y --no-install-recommends ca-certificates git ripgrep openssh-client && rm -rf /var/lib/apt/lists/* |
| COPY file:8f3b49701887863f884633dcb0df6070555c2867c65b1de7197df065409b5d30 in /usr/local/bin/harness |
| /bin/sh -c useradd -u 10001 -m -d /home/agent agent && mkdir -p /workspace && chown agent:agent /workspace |
| USER 10001 |
| ENV HOME=/home/agent |
| WORKDIR / |
| EXPOSE 8080 |
| ENTRYPOINT ["/usr/local/bin/harness"] |
| CMD ["agentd", "--listen", ":8080", "--workdir", "/workspace"] |
