Update Dockerfile

This commit is contained in:
Lukas Heiligenbrunner 2020-04-21 19:02:36 +00:00
parent 44cbb78063
commit 345296efbd

View File

@ -3,10 +3,7 @@ MAINTAINER luki42
# set up packages # set up packages
RUN tlmgr update --self && \ RUN tlmgr update --self && \
tlmgr update --all && \ tlmgr update --all
rm -rf /var/lib/apt/lists/* \
/tmp/* \
/var/tmp/*
# Expose /home as workin dir # Expose /home as workin dir