| # debian.sh --arch 'amd64' out/ 'trixie' '@1779062400' |
| /bin/sh -c apt-get update && apt-get install -y --no-install-recommends ca-certificates curl && rm -rf /var/lib/apt/lists/* |
| /bin/sh -c useradd --system --uid 10001 --user-group --no-create-home --shell /usr/sbin/nologin portal |
| WORKDIR /app |
| COPY file:1774a4e0def43d56a6e58e26a91cf7f04d813f588a88ea0c3e5a93ed1ea14718 in /usr/local/bin/portal |
| COPY dir:a8c8986b4f1779ea3ebd60d77d2feda12c3c7781d81ff6cbd8e106debb1de68b in /app/static |
| ENV PORTAL_BIND_HOST=0.0.0.0 PORTAL_BIND_PORT=8080 PORTAL_STATIC_DIR=/app/static RUST_LOG=info,portal=debug |
| EXPOSE 8080 |
| USER portal:portal |
| HEALTHCHECK --interval=30s --timeout=5s --start-period=10s --retries=3 CMD curl -sf http://127.0.0.1:8080/healthz | grep -q ok || exit 1 |
| ENTRYPOINT ["/usr/local/bin/portal"] |
