Ciao! Ho trovato delle guide e la procedura che mi è sembrata più semplice e “diffusa” è la seguente, intanto per ridurre la partizione /home (nel mio caso portandola a 390 GB).
Innanzitutto verificare lo schema di partizionamento con:
lsblk
Servirà anche per inviduare il nome corretto per i vari volumi. Poi ulteriore verifica per la /home:
lvdisplay /dev/mapper/fedora-home
Poi smontare la /home:
umount /dev/mapper/fedora-home
Nota: se dà “target busy”, loggarsi direttamente come root. Se dà ancora “busy” verificare i processi che occupano la partizione con:
lsof /dev/mapper/fedora-home
e2fsck -f /dev/mapper/fedora-home
resize2fs /dev/mapper/fedora-home 390G
lvreduce -L390G /dev/mapper/fedora-home
mount /dev/mapper/fedora-home
Poi ho aumentato la partizione di root:
lvextend -l +100%FREE /dev/mapper/fedora-root
resize2fs /dev/mapper/fedora-root
Nessun errore, in questa esatta sequenza (naturalmente nomi di volumi e partizioni e dimensioni da modificare sono quelli del mio caso…)
Vi faccio sapere se ho perso dati o riscontrato altri problemi…