And show where the space gets waisted

Author: vmcj

docker-gitlabci/Dockerfile

@@ -62,7 +62,13 @@ RUN wget $GITHUBDICTIONARY -O $CODESPELLDICTLOCATION
 RUN mkdir -p /run/php \
  && rm /etc/php/*/fpm/pool.d/www.conf
 
+RUN du -sh /*
+
 # Cache the chroot
 RUN wget https://github.com/DOMjudge/domjudge/archive/refs/heads/main.zip \
- && unzip domjudge-main.zip && cd domjudge-main/misc-tools && make dj_make_chroot \
- && ./dj_make_chroot
+ && unzip main.zip && cd domjudge-main/misc-tools && make configure \
+ && cd misc-tools && make dj_make_chroot \
+ && ./dj_make_chroot \
+ && cd ../.. && rm -rf domjudge-main
+
+RUN du -sh /*