Si vous êtes un utilisateur régulier de Linux, vous devez forcément connaître le problème d'accumulation des kernel headers Linux venant encombrer votre liste de démarrage dans Grub. En effet, au fur et à mesure des mises à jour de votre système, cette liste devient de plus en plus longue (même si maintenant, Grub doit les regrouper sur une ligne mais les fichiers sont toujours présents), il est donc nécessaire de faire le ménage de temps en temps.
Recommandation post-manipulations :
Je vous déconseille fortement de supprimer l'avant dernier kernel header avant d'avoir passé quelques semaines jours à utiliser sans problème la nouvelle version installée. En effet, démarrer sur une version antérieure peut s'avérer utile si la récente rend votre système instable. Il est à tout moment possible de réinstaller n'importe quelle version en ligne de commande (si jamais le serveur X ne démarrait plus par exemple) ou via un live CD, mais ces opérations n'étant pas forcément accessibles aux débutants, ces derniers devraient s'abstenir.
Grub Customizer
Ce logiciel vous permet de choisir les kernel headers présents dans la liste de Grub lors du démarrage de votre ordinateur. N'étant pas dans les dépôts, il vous faut tout d'abord ajouter ce ppa (Personal Package Archive) à l'aide des commandes suivantes :
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
Une fois le logiciel lancé :
- cochez dans la liste proposée la ou les version(s) que vous souhaitez voir apparaître ou décocher celle(s) qui ne vous intéresse(nt) plus
- au besoin, faites monter ou descendre une entrée à l'aide des flèches
- sauvegardez
Au prochain démarrage, votre liste devrait être plus légère !
nb : si vous êtes un peu geek curieux, je vous conseille d'aller faire un petit tour dans les préférences, Grub Customizer permet de choisir la résolution dans laquelle s'affiche le menu de sélection, les couleurs d'affichage ainsi que le fond d'écran, le délai d'attente avant le lancement du choix par défaut...
Ligne de commande pour nettoyer sa liste Grub des kernel headers inutiles
Pour ceux qui n'ont que faire d'une interface graphique et souhaitent ne garder que la dernière version, tapez la commande suivante (trouvée sur Ubuntu Genius) dans un terminal et tous les kernel headers excepté celui utilisé actuellement seront supprimés de votre système.
dpkg -l 'linux-*' | sed '/^ii/!d;/'"$(uname -r | sed "s/\(.*\)-\([^0-9]\+\)/\1/")"'/d;s/^[^ ]* [^ ]* \([^ ]*\).*/\1/;/[0-9]/!d' | xargs sudo apt-get -y purge
Faire de cette commande un script exécutable
Pour ne pas avoir à mémoriser ou à chercher dans votre historique cette commande conséquente , je vous conseille de l'écrire dans un script shell :
- créez un dossier Scripts à la racine de votre répertoire home (par exemple mais vous pouvez le mettre où bon vous semble, l'essentiel est de s'y retrouver) puis rendez-vous à l'intérieur
- utilisez votre éditeur de texte favori pour créer un fichier contenant du shell script (.sh) qui se trouvera dans le dossier précédemment créé
- collez la commande vu plus haut
- sauvegardez et quittez l'édition du fichier
- rendez-le exécutable
mkdir ~/Scripts
cd ~/Scripts
nano purgeheaders.sh
dpkg -l 'linux-*' | sed '/^ii/!d;/'"$(uname -r | sed "s/\(.*\)-\([^0-9]\+\)/\1/")"'/d;s/^[^ ]* [^ ]* \([^ ]*\).*/\1/;/[0-9]/!d' | xargs sudo apt-get -y purge
chmod +x ./purgeheaders.sh
Il ne vous restera plus qu'à l'exécuter lorsque vous souhaiterez supprimez les kernel headers devenus indésirables à l'aide de la commande suite :
~/Scripts/purgeheaders.sh
En espérant vous avoir été utile.
Laisser un commentaire