Last modified: 2014-05-27 10:44:38 UTC
From time to time, /tmp on the webgrid nodes gets filled up by a tool or a core dump. The instances have 150 GByte of free space each, so allocating some of that for a dedicated, larger /tmp partition would be useful.