Как уменьшить размер раздела ext4 / home без использования LiveCD и потери данных?

Мне нужно сжать раздел ext4 /home (/dev/sda9), чтобы освободить место для чего-то другого.

Я предпочел бы избегать живых компакт-дисков (проблемы с загрузкой с новой EFI и. У меня нет CD / USB в руке в офисе).

Я могу загрузиться как root напрямую в командной строке, поэтому я могу отключить /home, но по некоторым причинам я не могу использовать графический интерфейс даже для пользователя root, поэтому я не могу использовать GParted.

Есть ли команда терминала изменить размер разделенного раздела ext4 без потери данных?