christopher.rob.jones at cern.ch
Sat Jul 10 11:24:17 BST 2010
> 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.
More information about the kubuntu-users