En fait mon problème, c'est réduire le /home. Si j'ai bien compris, à moins que ça ait changé depuis, il n'est pas possible, ou il est déconseillé, de réduire une partition montée.
Et pour démonter /home, il faut se déloguer et se connecter en root. Ou passer par un live cd.
Donc je pensais le faire lors de l'installation. Le problème, c'est que la taille des partitions est "approximative". Mon home est 1.5To. Et si j'essaie de mettre 1.498To par exemple, il met 1.5 à nouveau. Donc je pense que je vais essayer de le faire "à la main".
J'ai trouvé ça :
umount /home
e2fsck -f /dev/mapper/vg_oracle-lv_home
resize2fs /dev/mapper/vg_oracle-lv_home 20G
lvreduce -L 20G /dev/mapper/vg_oracle-lv_home
lvextend -l +100%FREE /dev/mapper/vg_oracle-lv_root
resize2fs /dev/mapper/vg_oracle-lv_root
mount /home
Je pense que je vais essayer, à moins qu'il y ait plus simple. Avec le live usb, il n'y a pas un truc, du genre gparted d'installé de base ?
Edit :
Bon, je viens de voir que gparted ne gère pas les lvm.
Et qu'il n'y a plus d'utilisateur root sous fedora... J'en ai besoin pour me loguer sans monter mon /home.