Re: partition reporting full, but not

[Stefan Monnier]

> So the apparently missing space is perhaps taken up by btrfs snapshots.

Another possibility is a (few) large file(s) that is/are still open for
some process(es) but have been `rm` (`unlink`) so they don't have a name
any more.


        Stefan