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 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

moko138 a écrit :

Alex10336 :
1) Même dans Trusty, un

sudo 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 éviter

xavier67 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

xavier67 a écrit :

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

Alex10336 a écrit :

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

xavier67 a écrit :

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