diff options
Diffstat (limited to 'update_jdn.sh')
| -rwxr-xr-x | update_jdn.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index 2a8452fe..9a5522df 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -167,6 +167,10 @@ case $HOSTNAME in TMPFSSIZE=200 TMPSIZE=15 ;; + codethink*) + TMPFSSIZE=100 + TMPSIZE=15 + ;; *) ;; esac case $HOSTNAME in @@ -176,7 +180,7 @@ case $HOSTNAME in exit 1 fi ;; - jenkins|profitbricks-build*amd64) + jenkins|profitbricks-build*amd64|codethink*) 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 |