#!/usr/bin/env bash set -e echo 'ENV DEBIAN_FRONTEND=noninteractive' >> Dockerfile echo 'RUN apt update && apt dist-upgrade && apt clean all' >> Dockerfile echo 'RUN apt update && apt install --yes make' >> Dockerfile echo 'RUN apt update && apt install --yes python3-setuptools python3-pygments fonts-liberation fonts-liberation2 && apt clean all' >> Dockerfile echo 'RUN apt update && apt install --yes texlive-full rubber && apt clean all' >> Dockerfile echo 'ENV DEBIAN_FRONTEND=' >> Dockerfile