/tmp full

[Chris Jones]

>> 
> There's also a grub option (I think) which will automatically empty /tmp at boot - although it seems that it wasn't in fact /tmp in your case... :-)

Yes. If /tmp and /home are on the same partition, it doesn't matter which one filled up ... It sounds like the users filled up / by stuffing files in their /home/XYZ areas. The message about /tmp just happened to be the first thing to complain.

How about turning on user quotas ? Then at least if one of them do it again, it won't affect the other users.

cheers Chris