/tmp full

[William Hamra]

On 10 July 2010 13:24, Chris Jones <christopher.rob.jones at cern.ch> 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

YES! quotas are wonderful. my sisters dont realize ust how much video
files can take... and keep shooting videos and loading them to their
home, plus... it seems they think my computer is the neighbourhood's
central storage, loading everything found on neighbours' cameras when
visiting us....
needless to say, my home partition was in a sad state, i sweeped it,
deleted everything that's not theirs, and employed quotas... for
once... they are finally *thinking* before downloading something, and
considering what's really needed and what's not... :-)

-- 
Willy K. Hamra
Manager of Hamra Information Systems