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