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