Update Dockerfile

This commit is contained in:
Lukas Heiligenbrunner 2020-04-21 08:01:00 +00:00
parent 5887422c16
commit a0f5cde4ca

View File

@ -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