From 298bf8a8337e4aaa0bec409c1ec794827feee3f9 Mon Sep 17 00:00:00 2001
From: Michael Pilosov <consistentbayes@gmail.com>
Date: Sat, 11 Jul 2020 12:28:33 -0600
Subject: [PATCH] append instruction to header.

---
 src/Dockerfile.header | 1 +
 1 file changed, 1 insertion(+)

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 <christoph.schranz@salzburgresearch.at>"
 # This is a concatenated Dockerfile, the maintainers of subsequent sections may vary.
+RUN chmod 1777 /tmp && chmod 1777 /var/tmp