I need to shrink an ext4
/home partition (
/dev/sda9) to make space for something else.
I would prefer avoid live CDs (boot troubles with new EFI and. I don't have a CD/USB in hand in the office).
I can boot as root directly to command line so I can unmount
/home but then, for some reasons, I can't use the GUI even for the root user, so I can't use GParted.
Is there a terminal command to resize an unmounted ext4 partition without losing data ?