From 4dcd72a3d4d9fed757bed8d369457a2f4513e2db Mon Sep 17 00:00:00 2001 From: Yi-Ting Shih Date: Sun, 26 Apr 2026 08:24:11 +0800 Subject: [PATCH] Feat: add Dockerfile --- Dockerfile | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 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 []