Respuesta1
Cambiar el tamaño es una tarea fácil en Linux.
Existen muchas herramientas para este propósito.
Puede usarlo fácilmente gparted
como se muestra en la captura de pantalla, pero nuevamente no puede realizar la operación sobre la marcha porque su partición $HOME está en uso;separadomuestra un candado a la izquierda...
El siguiente paso que necesita es reiniciar su PC en un entorno en vivo yentoncesusarseparado