Quitter le forum et retourner au site

Faites du ménage !

Vous avez un didactiel ou une astuce particulière concernant un logiciel, partagez votre expérience dans cette partie.
Avatar de l’utilisateur
gerard25
Messages : 175
Inscription : dim. 12 févr. 2012, 15:33
Distribution : ubuntu 22.04MATE
Niveau : petit initié sur UBUNTU
Localisation : Grand Charmont

Re: Faites du ménage !

Message par gerard25 »

Merci pour toutes vos réponses
Avatar de l’utilisateur
juice
Messages : 247
Inscription : dim. 29 juin 2008, 10:06
Distribution : Archlinux
Niveau : Confirmé
Localisation : Oberentzen

Re: Faites du ménage !

Message par juice »

J’ai été un peu médisant. En graphique, ça ne marche pas si mal que ça non plus. Et parce qu’un « dessin » vaut mieux
qu’un long discours…
Ouvrir synaptic
Ouvrir synaptic
capture1.png (46.37 Kio) Consulté 8400 fois
Créer un nouveau filtre et le nommer Noyaux
Créer un nouveau filtre et le nommer Noyaux
capture2.png (51.83 Kio) Consulté 8415 fois
Définir les critères de filtrage
Définir les critères de filtrage
capture3.png (40.52 Kio) Consulté 8397 fois
Le résultat ne sera pas celui attendu puisque nous n’aurons aucun résultat, et c’est normal compte tenu du bug évoqué précédemment.
C’est donc ici qu’est la subtilité. Il va falloir éditer le fichier de configuration des filtres à la main. Quitter synaptic, puis dans un terminal :

Code : Tout sélectionner

sudo -i

nano .synaptic/filters
rechercher la section correspondant au filtre « Noyaux » et remplacer

Code : Tout sélectionner

  Name; "linux-image"; true;
  Name; "linux-headers"; true;
par :

Code : Tout sélectionner

  Name; "linux-image"; false;
  Name; "linux-headers"; false;
Sauvegarder et quitter. Relancer synaptic

Il suffit alors de ne conserver les méta paquets linux-image-generic, linux-headers et les 2 dernières versions pour les autres.

penser aussi à vider le cache des paquet avec :

Code : Tout sélectionner

sudo apt-get clean
et supprimer les paquets inutiles avec :

Code : Tout sélectionner

sudo apt-get autoremove
On peut gagner jusqu’à 30% d’espace disque. Ce qui n’est pas négligeable…
Répondre