#26 Le 24/10/2015, à 22:43
- xavier67
Re : [Résolu]Le volume "home" ne contient plus que 0 octets d'espace
Ah oui alors pour le #16
xav@xav-VGN-NS21S-W:~$ dpkg -l | grep -Ei "linux-headers|linux-image"
ii linux-headers-3.2.0-23 3.2.0-23.36 Header files related to Linux kernel version 3.2.0
ii linux-headers-3.2.0-23-generic-pae 3.2.0-23.36 Linux kernel headers for version 3.2.0 on 64 bit x86 SMP
ii linux-headers-3.2.0-92 3.2.0-92.131 Header files related to Linux kernel version 3.2.0
ii linux-headers-3.2.0-92-generic-pae 3.2.0-92.131 Linux kernel headers for version 3.2.0 on 32 bit x86 SMP
ii linux-headers-generic-pae 3.2.0.92.106 Generic Linux kernel headers
ii linux-image-3.2.0-23-generic-pae 3.2.0-23.36 Linux kernel image for version 3.2.0 on 64 bit x86 SMP
ii linux-image-3.2.0-92-generic-pae 3.2.0-92.131 Linux kernel image for version 3.2.0 on 32 bit x86 SMP
ii linux-image-generic-pae 3.2.0.92.106 Generic Linux kernel image
xav@xav-VGN-NS21S-W:~$
Vu que j'avais d'autres petits problèmes et un cd de ma version j'ai réinstallé la partition / (mon /home est séparé)
Ubuntu 20.04 en dual boot avec windows10 Pis une partition partagée pour mes docs. Asus vivobook x712fa
Hors ligne
#27 Le 24/10/2015, à 22:48
- xavier67
Re : [Résolu]Le volume "home" ne contient plus que 0 octets d'espace
1011M /var
Du coup c'est tout neuf aussi pour le /var
Donc si je comprends bien, si je tiens pour l'instant à rester sur ma vieille distribution (mais qui me plaît plus que celle qui a suivi), je devrais effacer régulièrement les anciens noyaux et les "goutputstream***"... C'est ça?
Ubuntu 20.04 en dual boot avec windows10 Pis une partition partagée pour mes docs. Asus vivobook x712fa
Hors ligne
#28 Le 24/10/2015, à 23:21
- Alex10336
Re : [Résolu]Le volume "home" ne contient plus que 0 octets d'espace
Alex10336 :
1) Même dans Trusty, unsudo apt-get autoremove
donne des résultats incomplets.
(Tu pourras le vérifier après l'installation de ton prochain noyau).
- - - - -
2) Mais comme xavier67 utilise Precise, ta commande n'enlèverait aucun morceau de noyau.
Aucun !
D'ailleurs xavier67 le confirme :Et apt-get autoremove n'y faisait rien...
- - - - -
3) Aider, ça ne s'arrête pas quand 3,1 Gio ont été libérés.
Il faut montrer où était l'erreur et expliquer comment s'en prémunir, pour éviterxavier67 a écrit :j'avais déjà eu ce problème avant!
la répétition.
Au vu du nombre de noyau qui sont passé, et qu'il n'en reste toujours que deux. Ceci sans actions particulière. Je doute que le prochain fasse une quelconque différences.
« On ne répond pas à une question par une autre question. » (moi ;-) )
Hors ligne
#29 Le 24/10/2015, à 23:59
- MicP
Re : [Résolu]Le volume "home" ne contient plus que 0 octets d'espace
@ xavier67 Merci pour le retour de commande au sujet de /var
J'avais peur que le répertoire /var soit un peu trop encombré,
mais je pense que la valeur retournée est acceptable.
Hors ligne
#30 Le 25/10/2015, à 07:20
- moko138
Re : [Résolu]Le volume "home" ne contient plus que 0 octets d'espace
Donc si je comprends bien, si je tiens pour l'instant à rester sur ma vieille distribution (...), je devrais effacer régulièrement les anciens noyaux et les "goutputstream***"... C'est ça?
Effacer les .goutputstream, oui. Le point est important, il t'indique que c'est un élément caché (voir ton menu "Affichage").
Désinstaller - et non effacer - les anciens noyaux. Tu ne gardes que les deux derniers noyaux fonctionnels.
%NOINDEX%
Un utilitaire précieux : ncdu
Photo, mini-tutoriel : À la découverte de dcraw
Hors ligne
#31 Le 25/10/2015, à 07:48
- moko138
Re : [Résolu]Le volume "home" ne contient plus que 0 octets d'espace
Au vu du nombre de noyau qui sont passé, et qu'il n'en reste toujours que deux. Ceci sans actions particulière. Je doute que le prochain fasse une quelconque différences.
Alex10336, je crois comprendre que tu parles de tes 3 S.E. dont aucun n'est une Precise.
Est-ce bien cela ?
Si oui, je te propose d'ouvrir un fil spécifique et d'en indiquer le lien ici.
Car, encore une fois, la gestion des noyaux a évolué à partir de Trusty. Donc ce que tu pratiques sur tes S.E. n'est aucunement applicable à la Precise de xavier67.
%NOINDEX%
Un utilitaire précieux : ncdu
Photo, mini-tutoriel : À la découverte de dcraw
Hors ligne
#32 Le 25/10/2015, à 08:04
- moko138
Re : [Résolu]Le volume "home" ne contient plus que 0 octets d'espace
1011M /var
Du coup c'est tout neuf aussi pour le /var
Hum... : chez moi, 70% en moins (et mon installation n'est pas récente) :
:~$ sudo du -sh /var
[sudo] password for :
292M /var
:~$
Fais
sudo apt-get clean
et redonne
sudo du -sh /var
%NOINDEX%
Un utilitaire précieux : ncdu
Photo, mini-tutoriel : À la découverte de dcraw
Hors ligne
#33 Le 25/10/2015, à 10:32
- xavier67
Re : [Résolu]Le volume "home" ne contient plus que 0 octets d'espace
Ah oui tiens... Plus que 320M après sudo du -sh /var...
Ubuntu 20.04 en dual boot avec windows10 Pis une partition partagée pour mes docs. Asus vivobook x712fa
Hors ligne