From a0f5cde4ca870ccbf6c5664c1e6380be2022913a Mon Sep 17 00:00:00 2001 From: Lukas Heiligenbrunner Date: Tue, 21 Apr 2020 08:01:00 +0000 Subject: [PATCH] Update Dockerfile --- static/Dockerfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/static/Dockerfile b/static/Dockerfile index 3bc319e..ed1f219 100644 --- a/static/Dockerfile +++ b/static/Dockerfile @@ -29,13 +29,13 @@ RUN apt-get update -qq &&\ apt-get install -f && \ \ # Clean up + tlmgr update --self && \ + tlmgr install scheme-full && \ apt-get autoclean && \ apt-get autoremove && \ rm -rf /var/lib/apt/lists/* \ /tmp/* \ - /var/tmp/* && \ - tlmgr update --self && \ - tlmgr install scheme-full + /var/tmp/* # Expose /home as workin dir