From e2e65a2d1422d97230cfe514ffd3fe499ef85d50 Mon Sep 17 00:00:00 2001
From: Mattia Rizzolo <mattia@mapreri.org>
Date: Mon, 22 Jun 2015 20:41:37 +0000
Subject: increase /srv/workspace to 100 GB

---
 update_jdn.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update_jdn.sh b/update_jdn.sh
index 94c6274e..81ee1efd 100755
--- a/update_jdn.sh
+++ b/update_jdn.sh
@@ -34,7 +34,7 @@ done
 mkdir -p /srv/workspace
 
 if ! grep -q '^tmpfs\s\+/srv/workspace\s' /etc/fstab; then
-	echo "tmpfs		/srv/workspace	tmpfs	defaults,size=60g	0	0" >> /etc/fstab
+	echo "tmpfs		/srv/workspace	tmpfs	defaults,size=100g	0	0" >> /etc/fstab
 fi
 
 if ! mountpoint -q /srv/workspace; then
-- 
cgit v1.2.3-54-g00ecf