la partition /dev/mapper/trisquel--vg-root est plaine

Si tu fais une réinstallation, je te suggère d'utiliser ext4 pour /home, pas xfs. Comme ça, si un jour tu as de nouveau un problème de taille de /, tu peux redimmensionner /home par une simple commande lvresize et récupérer la place gagnée dans / par une autre commande lvresize.

Pour moi, utiliser xfs dans LVM pour prendre toute l'espace disponible pour /home est absurde à cause de cet impossibilité de diminuer /home, alors qu'avec ext4, c'est trivial.

J'ajoute que pour ceux qui veulent utiliser Guix pour avoir certains logiciels non disponibles dans Trisquel, Guix prend une place considérable dans /.

Je crois que je vais aussi réinstaller Trisquel sur le laptop sur lequel j'ai installé Trisquel 10 avec les paramètres LVM chiffré par défaut (donc /home en xfs), à cause du même problème, plus assez de place sur la partition root de 20G.

Dans mon cas, c'est à cause de Guix que c'est presque plein, et j'ai installé exactement 10 paquets de Guix, en comptant glibc-locales et fontconfig.

Finalement, j'ai résolu le problème sans réinstaller, et tout a l'air de marcher.

Il faut:
- démarrer sur un système GNU/Linux sur une autre disque (ou partition)
- un espace disque suffisant pour une archive compressée de /home

Comme j'ai un deuxième disque avec Parabola, c'est ce que j'ai utilisé pour démarrer et pour la copie temporaire. Tu peux aussi démarrer sur une clé USB avec une image ISO d'installation Trisquel (choisir "essayer Trisquel sans l'installer") et connecter un autre disque pour le stockage de l'archive compressée de /home.

Sur mon disque, /home est dans une partition chiffrée. J'ai fait:
# cryptsetup luksOpen /dev/sda4 crypt_sdba

/dev/sda4 est à remplacer par la partition sur ton disque, le nom crypt_sda n'a pas d'importance. Cela te demande le mot de passe de chiffrement.

Ensuite, lsblk montre
# lsblk
NAME MAJ:MIN RM SIZE RO TYPE MOUNTPOINT
sda 8:0 0 223,6G 0 disk
├─sda1 8:1 0 1M 0 part
├─sda2 8:2 0 513M 0 part
├─sda3 8:3 0 732M 0 part
└─sda4 8:4 0 222,4G 0 part
└─sda4_crypt 253:0 0 222,3G 0 crypt
├─vgtrisquel-root 253:1 0 18,6G 0 lvm
├─vgtrisquel-swap_1 253:2 0 1,9G 0 lvm
└─vgtrisquel-home 253:3 0 201,8G 0 lvm
sdb 8:16 0 465,8G 0 disk
├─sdb1 8:17 0 1G 0 part /boot
└─sdb2 8:18 0 464,3G 0 part
└─crypt_sdb 253:4 0 464,3G 0 crypt
├─maingroup-swapvol 253:5 0 8G 0 lvm [SWAP]
├─maingroup-rootvol 253:6 0 32G 0 lvm /
└─maingroup-homevol 253:7 0 200G 0 lvm /home

Je monte /home en lecture seule dans /mnt/trisquel-home

# mkdir /mnt/trisquel-home
# mount -o ro /dev/vgtrisquel/home /mnt/trisquel-home

D'après la sortie de lsblk, pour toi, /dev/vgtrisquel/home est probablement à remplacer par /dev/trisquel-vg/home

J'ai un seul utilisateur, disons arthur, je crée une archive

# cd /mnt/trisquel-home
# tar cvzf /home/arthur/arthur.tar.gz arthur

Pour la commande tar, après cvzf (c: créer une archive, v: montrer les fichiers, z: compresser, f: la mettre dans un fichier), c'est le fichier archive (à mettre sur le disque où tu peux écrire, moi c'est dans /home/arthur de mon système Parabola mais si tu as démmaré sur une clé USB, c'est le chemin d'un autre disque où tu peux écrire), puis c'est le répertoire de home à archiver.

Pour garder les permissions et propriétaire, il faut être root pour la commande tar.

S'il y a plusieurs utilisateurs, en faire une par utilisateur.

Une fois qu'on est sûr que les fichiers .tar.gz a ont été créés pour tous les utilisateurs:
# umount /mnt/trisquel-home
# lvresize -L -10G /dev/vgtrisquel/home

Ici, j'ai enlevé 10 Go à /dev/vgtrisque/home.

Attention, cette commande rend les données de /dev/vgtrisquel/home inutilisables, et lvresize demande confirmation. Il faut que les archives aient bien été créées avant, sinon on perd ses données.

# lvresize -r -L 10G /dev/vgtrisquel/root

Je rajoute les 10 Go au volume root et je redimmensionne le système de fichier de root en même temps (option -r, ça marche parce que root est en ext4).

Si home était en ext4, il aurait suffit d'utiliser l'option -r dans la commande sur home, et on aurait réduit directement le volume et le système de fichier en même temps, et ça serait tout, même pas besoin d'archive (mais en cas de fausse manip, une sauvegarde, c'est toujours mieux).

Comme on a réduit home sans redimmensionner le système de fichier, il est inutilisable, il faut en refaire un:

# mkfs.ext4 /dev/vgtrisquel/home

La commande prévient qu'il y a déjà un système de fichier xfs, on le sait, on veut l'écraser, donc on confirme. Ensuite, on le monte à nouveau et on y ajoute les fichiers archivés.

# mount /dev/vgtrisquel/home /mnt/trisquel-home
# cd /mnt/trisquel-home
# tar xvzf /home/arthur/arthur.tar.gz
# umount /mnt/trisquel-home

tar décompresse l'archive et extrait les fichiers (x, au lieu de c) dans /mnt/trisquel-home. S'il y a plusieurs utilisateurs, il faut le faire une fois pour chaque, puis umount.

Dernière chose: mettre à jour /etc/fstab.

# mkdir /mnt/trisquel-root
# mount /dev/vgtrisquel/root /mnt/trisquel-root
# nano /mnt/trisquel-root/etc/fstab

Il faut mettre à jour la ligne où il y a /home. Sur mon système, c'est:
/dev/mapper/vgtrisquel-home /home xfs relatime 0 0

Cela veut dire que /home est repéré par "/dev/mapper/vgtrisquel-home", ce qui n'a pas changé. Donc la seule chose à faire: changer "xfs" en "ext4", sauvegarder et quitter.

Au lieu de "/dev/mapper/vgtrisquel-home", il pourrait y avoir quelque chose comme "UUID=05da7c88-bf6f-4b4d-8774-0349dc682391" ou "LABEL=quelquechose".

Si c'est UUID, faire
# blkid /dev/vgtrisquel/home

Cela donne une autre valeur, il faut la mettre sur la ligne /home après "UUID=" à la place de la valeur actuelle.

Si c'est LABEL, d'après les docs, pas besoin de changer "LABEL=quelquechose" dans /etc/fstab, on peut mettre le label sur le système de fichier:
# tune2fs -L quelquechose /dev/vgtrisquel/home

Dans tous les cas, il faut quand même changer xfs en ext4 sur cette ligne. Aucune autre ligne ne doit être modifiée.

Quand c'est enregistré, on démonte:
# umount /mnt/trisquel-root

Et c'est fini, on peut redémarrer. Pour moi, tout à l'air de marcher.

Cela dit, je vais quand même essayer d'installer Trisquel sur un disque externe et voir si je trouve comment demander d'utiliser ext4 et pas xfs pour home.