From 577e00e904186e5a2f6c5652a23356915050e2e9 Mon Sep 17 00:00:00 2001 From: Mirek Kratochvil Date: Mon, 22 Jun 2020 12:51:31 +0200 Subject: [PATCH] dockerfile --- docker/Dockerfile | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 docker/Dockerfile diff --git a/docker/Dockerfile b/docker/Dockerfile new file mode 100644 index 0000000..94130b0 --- /dev/null +++ b/docker/Dockerfile @@ -0,0 +1,22 @@ + +FROM debian:testing-slim + +RUN apt-get -qq update && apt-get install -y \ + biber \ + texlive-bibtex-extra \ + texlive-fonts-extra \ + texlive-fonts-recommended \ + texlive-formats-extra \ + texlive-lang-czechslovak \ + texlive-lang-english \ + texlive-latex-extra \ + texlive-latex-recommended \ + texlive-luatex \ + texlive-pictures \ + texlive-publishers \ + texlive-science \ + texlive \ + ghostscript \ + make + +RUN rm -fr /var/lib/apt /var/cache/apt