A corto di spazio su disco nella directory / home?

Ho un HD da 200 GB e ho appena installato Linux Mint (12 - KDE) come unico sistema operativo (ho formattato e cancellato la mia precedente installazione di Windows 7). Sto installando il mio "sandbox" e poiché sono nuovo su Linux sto installando tutte le cose che non possono essere trovate con i gestori di pacchetti nella mia /home/<username>directory, cose come:

• Jenkins CI
• Artifactory
• Eclipse e tutti i suoi plugin
• AppDynamics Lite
• WebCastellum

E altri. Durante il tentativo di installare un plug-in Eclipse (plug-in GAE / GWT di Google) ho ricevuto una notifica che stavo per esaurire lo spazio nella mia /homedirectory e, sicuramente, il plug-in Eclipse non è riuscito a completare l'installazione perché lo spazio su disco disponibile era insufficiente .

Quando corro dfdal terminale ottengo questo output:

Filesystem     1K-blocks     Used Available Use% Mounted on
/dev/sda5       13783792 12133900    958336  93% /
udev             4016004        4   4016000   1% /dev
tmpfs            1611136     1056   1610080   1% /run
none                5120        0      5120   0% /run/lock
none             4027832       84   4027748   1% /run/shm

Ancora una volta, nuovo su Linux, quindi questo non significa molto per me, ma sembra che attualmente sto usando fino al 93% del mio disco (che presumo sia /dev/sda5)?

Questo è pazzesco!?! Sono 200 GB e tutto ciò che ho fatto è installare alcune app relativamente piccole. Non penso nemmeno di avere ancora dei media (foto, video, ecc.) Su questa macchina! Ho letteralmente installato il sistema operativo e ho iniziato a configurare il mio sandbox!

Poche cose:

• Sto leggendo dfcorrettamente questo output?
• Devo "montare" o fare qualcosa di speciale con la mia /homedirectory che non sono riuscito a fare?
• È comune ottenere questo errore di spazio insufficiente /homese sei un utente Linux inesperto (e non hai fatto alcun montaggio o altra magia di Linux come prescritto sopra)?
• Come potrei essere al 93%?!?! Potrei avere un virus ?!?

Grazie in anticipo per qualsiasi aiuto qui!

Modifica : anche se attualmente legge il 93% ora, ieri sera (quando ho avuto questi errori) era al 99%.

Uscita da lsblk:

NAME   MAJ:MIN RM   SIZE RO TYPE MOUNTPOINT
sda      8:0    0 232.9G  0 disk 
├─sda1   8:1    0 211.8G  0 part 
├─sda2   8:2    0     1K  0 part 
├─sda5   8:5    0  13.2G  0 part /
└─sda6   8:6    0   7.9G  0 part [SWAP]
sr0     11:0    1  1024M  0 rom  
sdb      8:16   1   1.9G  0 disk 
└─sdb1   8:17   1   1.9G  0 part /media/PKBACK# 001
sr1     11:1    1     7M  0 rom  

L'output di df -h("dimensioni leggibili dall'uomo") potrebbe essere un po 'più chiaro del semplice df.

In effetti, probabilmente mostrerebbe che la dimensione di /solo circa 13 GB - Immagino tu abbia creato una seconda partizione di ~ 190 GB per /homema hai dimenticato di averla effettivamente montata, quindi tutti i file vengono archiviati sulla prima ( /) partizione .

È possibile utilizzare lsblko strumenti di partizionamento come parted/ gpartedper elencare tutte le partizioni esistenti e le loro dimensioni.

Controlla se la partizione per /homeè elencata da lsblko nel tuo /etc/fstab, quindi prova a montarla. Ma per ora, montalo da qualche altra parte che /home, per esempio, /mntper facilitare il trasferimento dei file.

Il tuo aggiornamento mostra una grande partizione su /dev/sda1. Puoi montarlo temporaneamente su /mnt:

# mount /dev/sda1 /mnt

Se il comando ha esito positivo, tornerà silenziosamente. Se si lamenta di "fstype sconosciuto", è possibile che la partizione non abbia ancora un file system - mkfs.ext4 /dev/sda1lo formatterà come ext4 , il più comune.

Per spostare i file, disconnettersi dal proprio account, quindi accedere come root e utilizzare rsync -avP /home/ /mnt/per trasferire i dati. Successivamente, eliminalo dal vecchio /homemanualmente.

Per rendere permanentemente montata la partizione /home, aggiungi quanto segue a fstab:

/dev/sda1  /home  ext4  rw,relatime,acl  0  2

Avere /e /homeseparare semplifica notevolmente la reinstallazione di Linux (ad esempio se si desidera cambiare le distribuzioni). 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. Tenere presente che potrebbe essere necessario reinstallare il bootloader (GRUB o altro) dopo averlo fatto.

Se la mia matematica è corretta, la dimensione della partizione è di 13,7 GB in base al valore nella colonna 1K-blocks. Sembra che quando tu, o la tua distribuzione Linux, avete creato le partizioni, rendesse disponibili solo 13,7 GB sul vostro computer, il resto del disco non fosse utilizzato. Puoi ridimensionare la partizione usando GParted.