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

8

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  
pnongrata
la source

Réponses:

6

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.

user1686
la source
Merci @grawity - si je l'ai fait, ce n'était certainement pas par intention! Je viens d'utiliser toutes les valeurs par défaut que le programme d'installation de Mint m'a proposées parce que c'était ma toute première installation de Mint et la seule autre expérience que j'ai eue était avec Ubuntu. Question: gpartedme donne- t-il simplement plus d'espace ou efface-t-il les 13 à 14 Go que j'ai en plus de me donner de l'espace? Je voudrais l'essayer mais je devrais souffler toutes les installations que j'ai faites jusqu'à présent. Merci encore!
pnongrata
@zharvey: Je ne sais pas ce que réelle partitions que vous avez, et ce dites - vous exactement gpartedà faire , quand vous dites « donner plus d' espace ». L'utilisez-vous pour créer une nouvelle partition ou redimensionner une partition existante? Où avez-vous trouvé les 190 autres Go - en tant que partition séparée ou en tant qu'espace "non alloué"?
user1686
S'il vous plaît voir mon montage et la sortie pour lsblk- on dirait que j'ai en fait plus de 200 Go (surprise!). Je le savais seulement parce que quand c'était une machine Windows, je savais qu'elle avait 200 Go (et apparemment plus). Encore une fois, je n'ai certainement pas demandé à Mint de le faire explicitement (la partition de 13 Go). Je viens d'utiliser les valeurs par défaut qu'il offrait et c'était le résultat.
pnongrata
En fin de compte, j'aimerais finir par fusionner sda1et sda5ensemble, car il n'y a pas de raison pour qu'ils soient séparés.
pnongrata
2
@zharvey: Donc , comme je l' ai deviné, il y a une autre partition, /dev/sda1créé spécialement pour /home... Il est effectivement plus pratique pour /homeêtre séparé, il rend OS réinstalle beaucoup plus facile. Si vous souhaitez les fusionner, vous devrez les utiliser à gpartedpartir d'un LiveCD.
user1686
1

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.

Kibbee
la source
Merci @Kibbee - veuillez voir ma question sous la réponse de grawity - j'ai la même question pour vous!
pnongrata
@zharvey Il y a des instructions pour redimensionner votre partition avec GParted ici. Les données ne seront pas effacées dans des circonstances idéales, mais c'est probablement une bonne idée de sauvegarder tout ce qui est vraiment important. gparted.sourceforge.net/larry/resize/resizing.htm
Kibbee