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