2020-08-12 15:51:48 +02:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
echo 'ENV DEBIAN_FRONTEND=noninteractive' >> Dockerfile
|
|
|
|
|
echo 'RUN apt-get update && apt-get install --yes --no-install-recommends texlive-full' >> Dockerfile
|
2020-08-13 12:19:58 +02:00
|
|
|
echo 'RUN apt-get update && apt-get install --yes --no-install-recommends make' >> Dockerfile
|
2020-08-19 08:47:06 +02:00
|
|
|
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
|
2020-09-02 14:57:04 +02:00
|
|
|
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
|
