df reports false size

[Felix E. Klee]

Am Dienstag, 31. Januar 2006 18:59 schrieb Andreas Dilger:
> You can use "mount -t bind / /mnt" and then "/mnt/nfsroot" will be the
> underlying directory.

That's what I eventually used in order to be able to remove the directory (I 
got the hint on another mailing list).

Thanks for your help!

-- 
Dipl.-Phys. Felix E. Klee
Email: fk at linuxburg.de (work), felix.klee at inka.de (home)
Tel: +49 721 8307937, Fax: +49 721 8307936
Linuxburg, Goethestr. 15A, 76135 Karlsruhe, Germany