Problème Démarrage Linux
Fermémamiemando Messages postés 33372 Date d'inscription jeudi 12 mai 2005 Statut Modérateur Dernière intervention 22 novembre 2024 - 28 févr. 2023 à 18:14
- Problème Démarrage Linux
- Forcer demarrage pc - Guide
- Pc lent au démarrage - Guide
- Problème démarrage windows 10 - Guide
- Reinitialiser pc au demarrage - Guide
- Programme demarrage windows 10 - Guide
2 réponses
18 févr. 2023 à 21:48
Bonjour,
Il faut des chiffres, après les mots.
Marque et modèle du PC... version de Ubuntu et de Windows
Capacité du SSD et place restante..?? les OS sont-ils dans des partitions séparées..?? combien à chacun..? et le swapp.
Démonter des applications libère peu de place... il faut revoir la distribution des volumes...
Les Datas sont ou..?
Modifié le 28 févr. 2023 à 18:15
Bonjour,
Avant de répondre à la question, deux commandes (à taper dans le terminal) pour voir où la place manque :
df -h du --si --max-depth=1 /home/toto
- La première permet de voir l'espace libre sur chaque disque. Généralement on a une partition / et une partition /home, donc selon la partition saturée, les stratégies pour récupérer de la place diffère/
- La second permet de voir quels fichiers prennent de la place dans un dossier arbitraire (ici, /home/toto). Comme cette commande explore tous les sous dossiers, il faut éviter de la lancer sur / (sinon il va parcourir absolument tous les fichiers, ce qui risque de prendre un temps fou :p)
Si la partition / est saturée
Souvent, l'espace sur ton disque dur est consommé à cause des mises à jour qui restent en cache (voir dossier /var/cache/apt/archives). Pour récupérer cet espace, lance de temps en temps:
sudo apt clean
Quand on est malgré tout un peu juste, on peut supprimer tous les fichiers de logs archivés (typiquement tous les fichiers *.gz dans /var/log)
sudo rm /var/log/*.gz
Quand on reste malgré tout juste, on peut aussi supprimer des paquets non vitaux (typiquement les paquets dont le nom a pour suffix -doc ; ce sont des fichiers de documentations, certes utiles, mais pas nécessaire au bon fonctionnement du système).
Si la partition /home est saturée
Cette partition ne contient que des dossiers utilisateurs, donc uniquement des données personnelles non nécessaire au bon fonctionnement du système. Il suffit de localiser quel(s) utilisateurs ont un gros dossier personnel :
du --si --max-depth=1 /home/
et une fois localisé de répéter cette commande dans les sous dossier volumineux :
du --si --max-depth=1 /home/toto du --si --max-depth=1 /home/toto/Vidéos
... puis de supprimer les fichiers volumineux et inutiles ;
du --si --max-depth=1 /home/toto rm /home/toto/Vidéos/video_inutile.mp4
Bonne chance