| # 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:415da3f45232ece60a033c36279c2e11a3f9ee25dfda9016b53c855d5032f984 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"] |
