diff --git a/src/Dockerfile.header b/src/Dockerfile.header index e8c9dfd..12eaf63 100644 --- a/src/Dockerfile.header +++ b/src/Dockerfile.header @@ -3,3 +3,4 @@ FROM nvidia/cuda:10.1-base-ubuntu18.04 LABEL maintainer="Christoph Schranz " # This is a concatenated Dockerfile, the maintainers of subsequent sections may vary. +RUN chmod 1777 /tmp && chmod 1777 /var/tmp