2020-08-12 15:51:48 +02:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
echo 'ENV DEBIAN_FRONTEND=noninteractive' >> Dockerfile
|
2022-04-14 11:41:44 +02:00
|
|
|
echo 'RUN apt-get update && apt-get install --yes texlive-full' >> Dockerfile
|
|
|
|
|
echo 'RUN apt-get update && apt-get install --yes make' >> Dockerfile
|
|
|
|
|
echo 'RUN apt-get update && apt-get install --yes fonts-liberation fonts-liberation2' >> Dockerfile
|
|
|
|
|
echo 'RUN apt-get update && apt-get install --yes python3-setuptools python-setuptools python3-pygments python-pygments' >> Dockerfile
|
|
|
|
|
echo 'RUN apt-get update && apt-get install --yes rubber' >> Dockerfile
|
2020-08-12 15:51:48 +02:00
|
|
|
echo 'ENV DEBIAN_FRONTEND=' >> Dockerfile
|
