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