L'output di df -h ("dimensioni leggibili dall'uomo") potrebbe essere un po' più chiaro del semplice df .
Infatti, probabilmente mostrerebbe che la dimensione di / è solo di circa 13 GB – Immagino che tu abbia creato una seconda partizione da ~190 GB per /home ma ho dimenticato di averlo effettivamente montato, quindi tutti i file vengono archiviati nel primo file (/ ) partizione.
Puoi usare lsblk o strumenti di partizionamento come parted /gparted per elencare tutte le partizioni esistenti e le loro dimensioni.
Controlla se la partizione per /home è elencato da lsblk o nel tuo /etc/fstab , quindi prova a montarlo. Ma per ora, montalo in un posto diverso da /home , tuttavia, ad esempio /mnt – per facilitare il trasferimento dei file.
Il tuo aggiornamento mostra una grande partizione in /dev/sda1 . Puoi montarlo temporaneamente su /mnt :
# mount /dev/sda1 /mnt
Se il comando ha esito positivo, tornerà silenziosamente. Se si lamenta di "unknown fstype", potrebbe essere che la partizione non ha ancora alcun file system – mkfs.ext4 /dev/sda1 lo formatterebbe come ext4 , il più comune.
Per spostare i tuoi file, esci dal tuo account, quindi accedi come root e usa rsync -avP /home/ /mnt/ trasferire i dati. Successivamente, eliminalo dal vecchio /home manualmente.
Per rendere permanentemente montata la partizione su /home , aggiungi quanto segue a fstab:
/dev/sda1 /home ext4 rw,relatime,acl 0 2
Avere / e /home separate rende molto più semplice reinstallare Linux (ad esempio se si desidera cambiare distribuzione). Ma se vuoi unirli, puoi farlo con gparted – tuttavia, solo da un CD live, non dallo stesso sistema.
All'interno di GParted, elimina semplicemente la grande partizione vuota e ridimensiona quella esistente da 13 GB. Tieni presente che potresti devi reinstallare il tuo bootloader (GRUB o altro) dopo averlo fatto.