Responder1
Redimensionar é uma tarefa fácil no Linux.
Existem muitas ferramentas para esse fim.
Você pode usar facilmente gparted
como mostra a captura de tela, mas novamente não pode executar a operação em tempo real porque sua partição $HOME está em uso;gpartedmostra um cadeado à esquerda...
A próxima etapa necessária é reiniciar o PC em um ambiente ativo eentãousargparted