[Box-Admins] Disk space is low on box3

[Levente Uzonyi]

Hi All,

There's less than 3GB (out of 60) free disk space at the moment on box3, 
and it keeps decreasing.

What services are running on box3?
- squeaksource.com which currently uses about 17GB
- build.squeak.org - aka jenkins - which uses about 35 GB at the moment
- apache2 as a frontend for the websites, which uses negligible disk space
- a yet unused but configured nameserver, which uses negligible disk space
- a seemingly unused ftp server, which should probably be removed, but it 
uses negligible disk space anyway

What are the possible solutions?
- increase the size of the disk. This can be done by the SFC, if the Board 
requests it, and the SFC is willing to do it. In theory this can be done 
on the fly - without stopping the server[1].
 	How large should the increase be?
 	- It depends on what the plans about jenkins are, but the more the merrier.
- move squeaksource.com to box4. box3 was planned to host nothing but 
jenkins. There's plenty of space left on box4, so this is something we can 
do fairly easily.
- clean up jenkins. We can keep less build artifacts, delete unused 
projects (if any), try to remove unused versions of softwares, try to 
share files using hard links, etc. But this is probably what requires the 
most effort.

We need a quick decision. In case of an emergency (less than 1GB free 
space), I'll try to move squeaksource.com to box4.

Levente

[1] https://www.gandi.net/hosting/iaas/disk_resize