Okay, I found this: linux - volume group out of space. How do I reclaim it? - Server Fault
The amount of free space on your volume group will not change. It’s all allocated by the filesystem you’ve formatted it with. Deleting files will only remove their inode entries from the filesystem, but the filesystem will still claim the space.
The only way to reclaim space in your volume group is to resize or delete logical volumes.
It seems like as long as whatever filesystem one has supports shrinking, reclaiming logical volume space should be possible.
But the possibility itself raises two questions:
- Is it even useful? Qubes may be aware that some space is not actually used, which explains the difference between
sudo lvsoutput and what applet and Qube Manager tell us.- Actually it doesn’t. If it is so, how come my Qubes Manager still shows that 47 GiB is used by the vault?
- If it is useful, can manual edit of volumes and filesystems break something?