Move /tmp to /work/tmp

There is not enough space on / (where /tmp was) for all the potentially very large files generated during the convergence test.
the-virtual-brain · Mar 6, 2017 · dfa402d · dfa402d
1 parent e131d11
commit dfa402d
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/provision/00-system.sh b/provision/00-system.sh
@@ -39,7 +39,13 @@ else
     mkdir $PREFIX
     chown -R ubuntu:ubuntu $prefix_base
 fi
-
+
+# Move temp dir
+mkdir /work/tmp
+chmod 1777 /work/tmp
+sudo rm -r /tmp
+sudo ln -s /work/tmp /tmp
+
 # setup /work/env/lib as system wide library location
 echo /work/env/lib > /etc/ld.so.conf.d/work.conf
 ldconfig