My hard disk was 95% full, as shown by usage/size in the output of qvm-pool -i lvm. So I decided to delete some old unneeded app qubes, each taking a few hundred MB or a few GB of space.
Before deleting each one, I started it to check the contents, to verify there was nothing I needed to save. HD usage crept up a little, then a little more after I killed the qube. But surprisingly, HD usage crept up a little more after I deleted the qube, instead of decreasing!
I guessed it was a fluke, so I did the same with the next qube. The same thing happened! Then again with the third and fourth qubes. At this point, my HD is 99% full. I ran fstrim / in dom0, and it reported about 5GB freed, but HD is still 99% full.
I'm starting to panic, since I know Linux fails badly when an LVM pool that's over-committed with thin volumes (as Qubes 4.0 is designed) fills up.
I know the qubes were deleted successfully, since lvs | grep <qube name> no longer shows them.
No running qubes are writing any significant data to disk. Now that I'm not deleting any more qubes, HD usage is holding steady at 99%.
Why isn't my HD usage decreasing when I delete qubes? How can I free up some space?