From 6d3de5e9185bf3807ca4fed6e91d4577fe42ce80 Mon Sep 17 00:00:00 2001 From: Julius de Jeu Date: Thu, 10 Oct 2019 20:40:03 +0200 Subject: [PATCH] Nice --- Dockerfile | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 Dockerfile diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..84dcd52 --- /dev/null +++ b/Dockerfile @@ -0,0 +1,5 @@ +FROM sharelatex/sharelatex:2.0.0 + +RUN tlmgr install collection-latexrecommended +RUN tlmgr install collection-fontsrecommended +RUN tlmgr install fontawesome