On Fri 04 Jan 2019 at 17:13:44 (+0000), Eduardo M KALINOWSKI wrote: > On sex, 04 jan 2019, David Wright wrote: > > On Fri 04 Jan 2019 at 16:52:45 (+0000), Eduardo M KALINOWSKI wrote: > > > And in this case, the problem is easy to solve: > > > rm /path/to/some/large/files/* > > > > Wrong again. The free space on /home is sufficient to hold 10 copies > > of the entire / filesystem. And you presuppose that these large files > > exist, for which the OP has currently shown no evidence. > > The used disk space must be somewhere. But you're right, there is > another possibility: lots of small files that together occupy a lot of > space.
There's at least one other scenario that it would be worth eliminating by checking that this equation is true (allowing for filesystem overheads): # du -shx + $ df's Available ≃ partition's size. This checks whether the mountpoints for /var and so on had files in them before the partitions were mounted. These files would consume filespace but not be detected by du. Cheers, David.