From c1ae79d75760c88b69a6344e1473017aec61713f Mon Sep 17 00:00:00 2001
From: Mattia Rizzolo <mattia@mapreri.org>
Date: Wed, 25 Nov 2015 11:12:33 +0000
Subject: put /tmp under tmpfs

---
 update_jdn.sh | 18 +++++++++++++++---
 1 file changed, 15 insertions(+), 3 deletions(-)

(limited to 'update_jdn.sh')

diff --git a/update_jdn.sh b/update_jdn.sh
index 33c2b991..5db5dc37 100755
--- a/update_jdn.sh
+++ b/update_jdn.sh
@@ -60,9 +60,18 @@ sudo mkdir -p /srv/workspace
 
 # prepare tmpfs on some hosts
 case $HOSTNAME in
-	jenkins)			 	TMPFSSIZE=100 ;;
-	profitbricks-build4-amd64) 		TMPFSSIZE=32 ;;
-	profitbricks-build?-amd64) 		TMPFSSIZE=200 ;;
+	jenkins)
+		TMPFSSIZE=100
+		TMPSIZE=15
+		;;
+	profitbricks-build4-amd64)
+		TMPFSSIZE=32
+		TMPSIZE=8
+		;;
+	profitbricks-build?-amd64)
+		TMPFSSIZE=200
+		TMPSIZE=15
+		;;
 	*) ;;
 esac
 case $HOSTNAME in
@@ -70,6 +79,9 @@ case $HOSTNAME in
 		if ! grep -q '^tmpfs\s\+/srv/workspace\s' /etc/fstab; then
 			echo "tmpfs		/srv/workspace	tmpfs	defaults,size=${TMPFSSIZE}g	0	0" | sudo tee -a /etc/fstab >/dev/null  
 		fi
+		if ! grep -q '^tmpfs\s\+/tmp\s' /etc/fstab; then
+			echo "tmpfs		/tmp	tmpfs	defaults,size=${TMPSIZE}g	0	0" | sudo tee -a /etc/fstab >/dev/null
+		fi
 		if ! mountpoint -q /srv/workspace; then
 			if test -z "$(ls -A /srv/workspace)"; then
 				sudo mount /srv/workspace
-- 
cgit v1.2.3-54-g00ecf