Vous manquez d'espace disque sur le répertoire / home?

J'ai un disque dur de 200 Go et je viens d'installer Linux Mint (12 - KDE) comme seul système d'exploitation (j'ai formaté et effacé mon installation précédente de Windows 7). Je suis en train d'installer mon "bac à sable" et parce que je suis nouveau sous Linux, j'installe tous les trucs qui ne peuvent pas être trouvés avec les gestionnaires de paquets dans mon /home/<username>répertoire, des trucs comme:

• Jenkins CI
• Artifactory
• Eclipse et tous ses plugins
• AppDynamics Lite
• WebCastellum

Et d'autres. En essayant d'installer un plugin Eclipse (plugin GAE / GWT de Google), j'ai reçu une notification que j'étais sur le point de manquer d'espace sous mon /homerépertoire, et bien sûr, le plugin Eclipse n'a pas pu terminer l'installation car il manquait d'espace disque disponible .

Lorsque je cours dfdepuis le terminal, j'obtiens cette sortie:

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

Encore une fois, nouveau pour Linux, cela ne signifie donc pas grand-chose pour moi, mais il semble que j'utilise actuellement jusqu'à 93% de mon disque (ce que je suppose /dev/sda5)?

C'est fou!?! C'est 200 Go et tout ce que j'ai fait, c'est installer quelques applications relativement minuscules. Je ne pense même pas avoir encore de média (photos, vidéos, etc.) sur cette machine! J'ai littéralement installé le système d'exploitation et commencé à configurer mon bac à sable!

Quelques choses:

• Suis-je en train de lire dfcorrectement cette sortie?
• Dois-je "monter" ou faire quelque chose de spécial avec mon /homerépertoire que je n'ai pas réussi à faire?
• Est-il courant d'obtenir cette erreur d'espace disque insuffisant /homesi vous êtes un utilisateur Linux inexpérimenté (et que vous n'avez effectué aucun montage ou autre magie Linux comme indiqué ci-dessus)?
• Comment pourrais-je être à 93%?!?! Puis-je avoir un virus ?!?

Merci d'avance pour toute aide ici!

Edit : bien qu'il affiche actuellement 93%, la nuit dernière (c'est à ce moment-là que j'ai eu ces erreurs), il était à 99%.

Sortie de 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  

La sortie de df -h("tailles lisibles par l'homme") pourrait être un peu plus claire que plain 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 de ~ 190 Go pour /homemais avez oublié de la faire monter, donc tous les fichiers sont stockés sur la première /partition ( ) .

Vous pouvez utiliser lsblkou partitionner des outils tels que parted/ gpartedpour répertorier toutes les partitions existantes et leurs tailles.

Vérifiez si la partition pour /homeest répertoriée par lsblkou dans votre /etc/fstab, puis essayez de la monter. Mais pour l'instant, montez-le ailleurs que /home, par exemple, /mntpour 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 de "fstype inconnu", il se peut que la partition ne dispose pas encore de système de fichiers - la mkfs.ext4 /dev/sda1formaterait 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 /homemanuellement.

Pour que la partition soit montée de façon permanente /home, ajoutez ce qui suit à fstab:

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

Avoir /et /homeséparer facilite beaucoup la réinstallation de Linux (par exemple si vous voulez changer de distribution). Mais si vous voulez les fusionner, vous pouvez le faire avec gparted- cependant, uniquement à partir d'un CD live, pas à partir du même système.

Dans GParted, supprimez simplement la grande partition vide et redimensionnez celle de 13 Go existante. N'oubliez pas que vous devrez peut- être réinstaller votre chargeur de démarrage (GRUB ou autre) après l'avoir fait.

Si mes calculs sont corrects, la taille de la partition est de 13,7 Go en fonction de la valeur dans la colonne 1K-blocks. On dirait que lorsque vous ou votre distribution Linux avez créé les partitions, cela n'a rendu disponible que 13,7 Go sur votre machine, le reste du disque n'est pas utilisé. Vous pouvez redimensionner la partition à l'aide de GParted.