Dockerfile

# syntax=docker/dockerfile:1
FROM debian:13

ENV DEBIAN_FRONTEND=noninteractive

# Install common ISO/build tooling (adjust if build.sh needs extra deps)
RUN apt-get update && \
    set -eux; \
    base_pkgs="bash ca-certificates coreutils curl git jq make xorriso isolinux syslinux-common mtools dosfstools rsync sudo"; \
    for p in grub-pc-bin grub-efi-amd64-bin; do \
        if apt-cache show "$p" >/dev/null 2>&1; then base_pkgs="$base_pkgs $p"; fi; \
    done; \
    apt-get install -y --no-install-recommends $base_pkgs && rm -rf /var/lib/apt/lists/*

WORKDIR /workspace

# Copy full project into container
COPY . /workspace

# Ensure build script is executable
RUN chmod +x /workspace/build-docker.sh

# Run build and copy produced ISO(s) to /out (bind mount from host)
ENTRYPOINT ["/bin/bash", "-lc", "set -e; /workspace/build-docker.sh; mkdir -p /out; find /workspace -type f -name '*.iso' -exec cp -v {} /out/ \\;; echo 'Done. ISO(s) copied to /out'"]