Subj : Re: partition full - not really
To   : comp.os.linux.admin,comp.os.linux
From : Gerard Wassink
Date : Wed Jul 07 2004 01:19 pm

On Wed, 07 Jul 2004 11:15:46 +0200, Pol scribbled:

> I'am using linux, kernel 2.4. / reiserfs partitions
> 
> My /home partition has been filled up by a large file
> Muving to other partition , thene deleting it, has not changed the
> avalilable space: according to 'df', /hoem is still full.
> Inspecting by using 'du', 100 MB turns out to be available, almost just
> the size of the deleted file.
> Yet i cannot copy file to /home, since probably cp relies on df infos.
> 
> I have tried to remount the partition:
>    %% mount -o remount /home
> 
> but no luck
> 
> Any hints?
> thank you
> ---
> Pol

e2fsck ?

reboot?

-- 
GerardLinux ay tee filternet dee oo tee ann el

                  |
              \       /
                .---. 
           '-.  |   |  .-'
             ___|   |___
        -=  [           ]  =-
            `---.   .---' 
         __||__ |   | __||__
         '-..-' |   | '-..-'
           ||   |   |   ||
           ||_.-|   |-,_||
         .-"`   `"`'`   `"-.
       .'                   '.
 
Jesus is alive, I spoke with Him this morning!

.