diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-11-25 11:12:33 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-11-25 13:57:54 +0100 |
| commit | c1ae79d75760c88b69a6344e1473017aec61713f (patch) | |
| tree | 368e23dcaf6506dbbb6bb7f8282812d7502822a8 /update_jdn.sh | |
| parent | 69f00384710a5d74f86c271ccd5bae682d68b1dd (diff) | |
| download | jenkins.debian.net-c1ae79d75760c88b69a6344e1473017aec61713f.tar.xz | |
put /tmp under tmpfs
Diffstat (limited to 'update_jdn.sh')
| -rwxr-xr-x | update_jdn.sh | 18 |
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 |