FROM docker.io/library/debian:12-slim RUN \ apt-get update && \ apt-get -y install git curl python3 build-essential g++-11 dos2unix && \ apt-get clean && rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/* RUN bash -c "$(curl -fsSL https://raw.githubusercontent.com/ioi-2017/tps/master/online-installer/install.sh)" WORKDIR /work ENTRYPOINT ["bash"] CMD []