La sortie de df -h ("formats lisibles par l'homme") pourrait être un peu plus clair que le simple df .
En fait, cela montrerait probablement que la taille de / n'est que d'environ 13 Go - je suppose que vous avez créé une deuxième partition d'environ 190 Go pour /home mais j'ai oublié de l'avoir monté, donc tous les fichiers sont stockés sur le premier (/ ) partitionner.
Vous pouvez utiliser lsblk ou des outils de partitionnement tels que parted /gparted pour lister toutes les partitions existantes et leurs tailles.
Vérifiez si la partition pour /home est répertorié par lsblk ou dans votre /etc/fstab , puis essayez de le monter. Mais pour l'instant, montez-le ailleurs que /home , cependant - par exemple, /mnt – pour faciliter le transfert des fichiers.
Votre mise à jour affiche une grande partition à /dev/sda1 . Vous pouvez le monter temporairement sur /mnt :
# mount /dev/sda1 /mnt
Si la commande réussit, elle reviendra silencieusement. S'il se plaint d'un "fstype inconnu", il se peut que la partition n'ait pas encore de système de fichiers - mkfs.ext4 /dev/sda1 le formaterait en ext4 , le plus courant.
Pour déplacer vos fichiers, déconnectez-vous de votre compte, puis connectez-vous en tant que root et utilisez rsync -avP /home/ /mnt/ pour transférer des données. Ensuite, supprimez-le de l'ancien /home manuellement.
Pour rendre la partition montée en permanence sur /home , ajoutez ce qui suit à fstab :
/dev/sda1 /home ext4 rw,relatime,acl 0 2
Avoir / et /home separate facilite grandement la réinstallation de Linux (par exemple, si jamais vous souhaitez changer de distribution). Mais si vous voulez les fusionner, vous pouvez le faire avec gparted - cependant, uniquement à partir d'un CD live, pas du même système.
Dans GParted, supprimez simplement la grande partition vide et redimensionnez celle existante de 13 Go. Sachez que vous pourriez besoin de réinstaller votre chargeur de démarrage (GRUB ou autre) après l'avoir fait.