Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#26 Le 27/04/2013, à 12:17

Theodule

Re : [Résolu] Libérer de l'espace disque : explications pour débutant(e)

En même temps, j'avoue que ça me rassure un petit peu. Bon, évidemment, je me fais un peu de souci pour toi (un cerveau, même le samedi, ça peut servir tongue ) mais je me dis que je ne suis pas complètement neuneu quand même smile J'ai donc bon espoir d'arriver à faire quelque chose de correct avec ma modeste machine...

Hors ligne

#27 Le 27/04/2013, à 12:32

tiramiseb

Re : [Résolu] Libérer de l'espace disque : explications pour débutant(e)

État actuel des choses :
- la partition racine est presque pleine
- tu as déplacé des fichiers d'anciens noyaux dans le répertoire /home/temp_kernels
- tu as déplacé des fichiers d'anciens headers dans le répertoire /home/headers_deplaces_avec_tiramiseb

Choses à faire (la numérotation correspond à la procédure http://forum.ubuntu-fr.org/viewtopic.ph … #p12270301 que tu as déjà commencée à suivre, en fait on ne va faire que la continuer) :
3/ désinstaller les headers qui n'ont pas été déplacés

sudo apt-get remove --purge linux-headers-3.2.0-27 linux-headers-3.2.0-27-generic linux-headers-3.2.0-27-generic-pae linux-headers-3.2.0-29 linux-headers-3.2.0-29-generic linux-headers-3.2.0-29-generic-pae linux-headers-3.2.0-30 linux-headers-3.2.0-30-generic linux-headers-3.2.0-30-generic-pae linux-headers-3.2.0-31 linux-headers-3.2.0-31-generic linux-headers-3.2.0-31-generic-pae linux-headers-3.2.0-32 linux-headers-3.2.0-32-generic linux-headers-3.2.0-32-generic-pae linux-headers-3.2.0-33 linux-headers-3.2.0-33-generic linux-headers-3.2.0-33-generic-pae linux-headers-3.2.0-34 linux-headers-3.2.0-34-generic linux-headers-3.2.0-34-generic-pae linux-headers-3.2.0-35 linux-headers-3.2.0-35-generic linux-headers-3.2.0-35-generic-pae linux-headers-3.2.0-36 linux-headers-3.2.0-36-generic linux-headers-3.2.0-36-generic-pae linux-headers-3.2.0-37 linux-headers-3.2.0-37-generic linux-headers-3.2.0-37-generic-pae linux-headers-3.2.0-38 linux-headers-3.2.0-38-generic linux-headers-3.2.0-38-generic-pae linux-headers-3.2.0-39 linux-headers-3.2.0-39-generic linux-headers-3.2.0-39-generic-pae

4A/ remettre en place les headers déplacés

sudo mv /home/headers_deplaces_avec_tiramiseb/* /usr/src/

5A/ désinstaller les headers qui ont été remis en place

sudo apt-get remove --purge linux-headers-3.2.0-24 linux-headers-3.2.0-24-generic linux-headers-3.2.0-24-generic-pae linux-headers-3.2.0-25 linux-headers-3.2.0-25-generic linux-headers-3.2.0-25-generic-pae linux-headers-3.2.0-26 linux-headers-3.2.0-26-generic linux-headers-3.2.0-26-generic-pae

4B/ remettre en place les modules de noyaux déplacés

sudo mv /home/temp_kernels/* /lib/

5B/ désinstaller les anciens noyaux

sudo apt-get remove --purge linux-image-3.0.0-19-generic linux-image-3.2.0-24-generic linux-image-3.2.0-25-generic linux-image-3.2.0-26-generic linux-image-3.2.0-27-generic linux-image-3.2.0-29-generic linux-image-3.2.0-30-generic linux-image-3.2.0-31-generic linux-image-3.2.0-32-generic linux-image-3.2.0-33-generic linux-image-3.2.0-34-generic linux-image-3.2.0-35-generic linux-image-3.2.0-36-generic linux-image-3.2.0-37-generic linux-image-3.2.0-38-generic linux-image-3.2.0-39-generic

Enfin, un peu de nettoyage :

sudo rmdir /home/temp_kernels /home/headers_deplaces_avec_tiramiseb

-----------


Pour la suite, deux possibilités :
- un gars de ce forum a fait un super script qui se charge de désinstaller les anciens noyaux sauf les deux derniers, de manière semi-automatique (il n'y a qu'à l'exécuter genre tous les 2 ou 3 mois et puis voilà) - mais je ne sais plus qui a fait ce script, et je ne sais plus où tu peux le retrouver
- tu fais tout ça manuellement : tous les 2 ou 3 mois tu regardes la liste des paquets et tu supprimes les "linux-headers" (sauf les 2 derniers) et les "linux-image" (sauf les 2 derniers)

Et enfin, sache que ce problème récurrent ne sera, d'ici quelques années, plus qu'un mauvais souvenir : à partir de la 13.04, ils ont trouvé une manière d'automatiser ça directement dans le système ; la prochaine LTS (14.04) fera donc ça toute seule.

Dernière modification par tiramiseb (Le 27/04/2013, à 12:33)

Hors ligne

#28 Le 27/04/2013, à 12:58

Theodule

Re : [Résolu] Libérer de l'espace disque : explications pour débutant(e)

Bon, je pense que c'est pas mal, voilà ce que ça donne :

Sys. de fichiers  Inœuds IUtil.  ILibre IUti% Monté sur
/dev/sda5         732960 256708  476252   36% /
udev              125211    509  124702    1% /dev
tmpfs             127033    433  126600    1% /run
none              127033      3  127030    1% /run/lock
none              127033      8  127025    1% /run/shm
/dev/sda3        2842624  18756 2823868    1% /home

Et sinon, pour nettoyer régulièrement (en attendant "quelques années" la version avec nettoyage intégré tongue ), je peux utiliser tweak ? Maintenant qu'il est installé et qu'il fonctionne correctement, ça me semble le plus facile non ?
En tout cas un grand grand merci pour toutes tes explications !! smile

Hors ligne

#29 Le 27/04/2013, à 13:28

tiramiseb

Re : [Résolu] Libérer de l'espace disque : explications pour débutant(e)

Theodule a écrit :

Et sinon, pour nettoyer régulièrement (en attendant "quelques années" la version avec nettoyage intégré tongue ), je peux utiliser tweak ?

Peut-être. Je sais pas. Je connais pas.

Hors ligne

#30 Le 27/04/2013, à 13:35

Theodule

Re : [Résolu] Libérer de l'espace disque : explications pour débutant(e)

Il y a dans tweak une fonction pour nettoyer les paquets obsolètes. Après la question qui reste c'est "comment est-ce qu'il fait la distinction entre un paquet obsolète et un qui ne l'est pas ?". Mais bon, si ça marche et que c'est simple, tant mieux. Sinon, je reviens ici et je suis à nouveau toute la procédure.

Donc si je résume :
- je déplace dans /home les paquets les plus vieux
- je désinstalle les plus récents ?? (ça doit pas être ça, mais c'est ton numéro 3 que j'avais pas compris dans ton déroulé
- je remets à leur place les paquets les plus vieux que j'avais déplacés et je les désinstalle
- même chose pour image et headers

C'est donc le 3 et le 4B que je ne comprends pas vraiment...

Hors ligne

#31 Le 27/04/2013, à 13:42

tiramiseb

Re : [Résolu] Libérer de l'espace disque : explications pour débutant(e)

Ma procédure n'est à suivre que si tu es dans le cas extrême où apt est bloqué à cause d'un disque plein.
Tant que tu n'es pas dans ce cas extrême (c-à-d tant que tu nettoies régulièrement et que tu ne laisses pas 20 noyaux différents s'accumuler) alors tu n'as pas besoin de cette procédure.



Pour les points 3 à 5b de ma procédure, la logique est la suivante :
- il n'y a plus de place sur le disque
- le manque de place a bloqué apt
- il faut libérer de la place pour qu'apt puisse continuer de fonctionner
- il faut désinstaller des paquets

Imaginons qu'on a les paquets en version A, B, C, D, E et F d'installés, et qu'on veut conserver E et F :
- on déplace A et B ailleurs pour libérer de la place
- on laisse apt terminer l'opération en cours
- on désinstalle C et D avec apt
- on remet A et B à leur place vu que, avec la désinstallation de C et D, de l'espace disque s'est libéré
- on désinstalle A et B avec apt
Dans tout ça, on n'a pas touché à E et F car on veut les conserver.

Hors ligne

#32 Le 27/04/2013, à 13:45

Theodule

Re : [Résolu] Libérer de l'espace disque : explications pour débutant(e)

Ok, je pense que c'est tout bien clair !!

Merci merci donc pour ce décodage. Je suis traductrice entre plusieurs langues, mais pas encore en "linux > français" smile

Je vais pouvoir passer le sujet en résolu, quel soulagement !

Hors ligne