A voir également:
- Question pour toutou linux
- Linux mint 32 bits - Télécharger - Systèmes d'exploitation
- Diskinternals linux reader - Télécharger - Stockage
- Linux live usb creator - Télécharger - Outils Internet
- Toutou linux sur clé usb - Télécharger - Systèmes d'exploitation
- Quel linux choisir - Guide
2 réponses
mamiemando
Messages postés
33367
Date d'inscription
jeudi 12 mai 2005
Statut
Modérateur
Dernière intervention
19 novembre 2024
7 801
28 déc. 2014 à 21:03
28 déc. 2014 à 21:03
Ceci signifie que ton répertoire personnel (mettons
Les partitions d'un disque dur constitue un découpage logique : par exemple sur un disque de 250Go, tu vas par exemple avoir une partition de swap de l'ordre quelques Go, une partition pour ton système (notée /) de quelques dizaines de Go, et le reste pour /home.
Pour vérifier le taux d'occupation de tes partitions, tu peux vérifier par exemple avec la commande, à taper dans un terminal :
http://doc.ubuntu-fr.org/terminal
Revenons à ton problème. La solution est simple : il suffit de faire du ménage dans la partition de disque dur qui contient ton dossier personnel (par exemple en supprimant des fichiers contenus dans ton dossier personnel). Tu peux facilement voir les répertoires "coûteux en place".
Note : les répertoires commençant par des "." stockent ton profil utilisateur pour une application donnée (par exemple
Autre solution, mais je doute que tu sois dans ce cas, si tu utilises LVM, tu peux redimensionner la partition /home et l'agrandir (sous réserve que les autres partitions ne recouvrent pas déjà tout le reste du disque dur ou que tu les réduisent).
Bonne chance
/home/toto) est situé sur une partition de disque dur qui commence à être fortement occupé.
Les partitions d'un disque dur constitue un découpage logique : par exemple sur un disque de 250Go, tu vas par exemple avoir une partition de swap de l'ordre quelques Go, une partition pour ton système (notée /) de quelques dizaines de Go, et le reste pour /home.
Pour vérifier le taux d'occupation de tes partitions, tu peux vérifier par exemple avec la commande, à taper dans un terminal :
http://doc.ubuntu-fr.org/terminal
df -h
Revenons à ton problème. La solution est simple : il suffit de faire du ménage dans la partition de disque dur qui contient ton dossier personnel (par exemple en supprimant des fichiers contenus dans ton dossier personnel). Tu peux facilement voir les répertoires "coûteux en place".
cd /home/toto
du --si --max-depth=1
Note : les répertoires commençant par des "." stockent ton profil utilisateur pour une application donnée (par exemple
/home/toto/.firefoxva stocker tes favoris, tes extensions firefox, ton historique, etc). Donc attention à ne pas trop charcuter dedans :p
Autre solution, mais je doute que tu sois dans ce cas, si tu utilises LVM, tu peux redimensionner la partition /home et l'agrandir (sous réserve que les autres partitions ne recouvrent pas déjà tout le reste du disque dur ou que tu les réduisent).
Bonne chance
