/tmp full

Sat Jul 10 14:43:10 UTC 2010

On 07/10/2010 01:24 PM, Chris Jones wrote:
>>>
>> 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

So how does one set up 'quotas'?