My root partition recently ran out of space and I needed to resize it.
So I booted into a live usb and then, after activating my volume groups:
$ sudo vgchange -a y
I looked up lvm resize online and came up with the command:
$ sudo lvextend -L+10G /dev/mapper …more ...