summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xupdate_jdn.sh18
1 files changed, 15 insertions, 3 deletions
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