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