-
Notifications
You must be signed in to change notification settings - Fork 18
/
dodona-bash.dockerfile
45 lines (42 loc) · 1.24 KB
/
dodona-bash.dockerfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
FROM python:3.12.4-slim-bullseye
RUN apt-get update && \
apt-get -y install --no-install-recommends \
bc=1.07.1-2+b2 \
binutils=2.35.2-2 \
bsdmainutils=12.1.7+nmu3 \
cowsay=3.03+dfsg2-8 \
chromium \
curl \
ed=1.17-1 \
figlet=2.2.5-3+b1 \
file \
fonts-noto-color-emoji \
fortune-mod=1:1.99.1-7.1 \
git=1:2.30.2-1+deb11u2 \
gcc=4:10.2.1-1 \
gcc-multilib=4:10.2.1-1 \
imagemagick \
inkscape=1.0.2-4 \
librsvg2-bin \
poppler-utils=20.09.0-3.1+deb11u1 \
procps \
strace=5.10-1 \
toilet=0.3-1.3 \
tree=1.8.0-1+b1 \
unzip=6.0-26+deb11u1 \
vim=2:8.2.2434-3+deb11u1 \
wget=1.21-1+deb11u1 \
zip=3.0-12 && \
rm -rf /var/lib/apt/lists/* && \
apt-get clean && \
# Judge dependencies
pip install --no-cache-dir --upgrade pygments==2.11.2 && \
pip install --no-cache-dir --upgrade html2image==2.0.4.3 && \
chmod 711 /mnt && \
useradd -m runner && \
mkdir /home/runner/workdir && \
chown runner:runner /home/runner/workdir
ENV PATH="/home/runner/workdir:/usr/games:${PATH}"
USER runner
WORKDIR /home/runner/workdir
COPY main.sh /main.sh