Die Ausgabe von df -h ("vom Menschen lesbare Größen") ist möglicherweise etwas klarer als das einfache df .
Tatsächlich würde es wahrscheinlich zeigen, dass die Größe / ist nur etwa 13 GB – ich vermute, Sie haben eine zweite ~190-GB-Partition für /home erstellt aber vergessen, es tatsächlich zu mounten, also werden alle Dateien auf der ersten (/ )-Partition.
Sie können lsblk verwenden oder Partitionierungstools wie parted /gparted um alle existierenden Partitionen und ihre Größen aufzulisten.
Überprüfen Sie, ob die Partition für /home wird von lsblk aufgeführt oder in Ihrem /etc/fstab , dann versuchen Sie es zu mounten. Aber jetzt montieren Sie es an einer anderen Stelle als /home , aber – zum Beispiel /mnt – um die Übertragung der Dateien zu erleichtern.
Ihr Update zeigt eine große Partition bei /dev/sda1 . Sie können es vorübergehend auf /mnt einhängen :
# mount /dev/sda1 /mnt
Wenn der Befehl erfolgreich ist, wird er leise zurückkehren. Wenn es sich über „unknown fstype“ beschwert, kann es sein, dass die Partition noch kein Dateisystem hat – mkfs.ext4 /dev/sda1 würde es als ext4 formatieren , die häufigste.
Um Ihre Dateien zu verschieben, melden Sie sich von Ihrem Konto ab, melden Sie sich dann als root an und verwenden Sie rsync -avP /home/ /mnt/ Daten zu übertragen. Löschen Sie es anschließend aus dem alten /home manuell.
Damit die Partition dauerhaft auf /home gemountet wird , fügen Sie Folgendes zu fstab hinzu:
/dev/sda1 /home ext4 rw,relatime,acl 0 2
Mit / und /home separate macht es viel einfacher, Linux neu zu installieren (z. B. wenn Sie jemals die Distribution wechseln möchten). Aber wenn Sie sie zusammenführen möchten, können Sie das mit gparted tun – allerdings nur von einer Live-CD, nicht vom gleichen System.
Löschen Sie in GParted einfach die große leere Partition und ändern Sie die Größe der vorhandenen 13 GB. Beachten Sie, dass Sie möglicherweise müssen Sie danach Ihren Bootloader (GRUB oder was auch immer) neu installieren.