commit 4dcd72a3d4d9fed757bed8d369457a2f4513e2db Author: Yi-Ting Shih Date: Sun Apr 26 08:24:11 2026 +0800 Feat: add Dockerfile diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..182d355 --- /dev/null +++ b/Dockerfile @@ -0,0 +1,14 @@ +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 []