Skip to content

Mettre son kernel à jour – Debian/Ubuntu

Mettre à jour son kernel pour les OS basés sur Debian comme Ubuntu et ses alternatives

Non vous n’allez plus copier des commandes à l’aveugle. On comprend, et on reproduit sois même !
En effet, chaque mois un nouveau kernel est mis à la disposition des utilisateurs de linux. Aujourd’hui la version 4.12 est en cours de développement. La version 4.11.1 est considérée comme stable. Mais il se peut certainement que vous ne soyez pas à jours, restant avec la version de votre distribution.
Afin de connaître la version de votre kernel utilisez la commande uname -r dans votre terminale.

La mise à jour se fait extrêmement simplement :

  1. Visitez ce site les listant
  2. Choisissez la version qui vous correspond le mieux
  3. Une fois la version choisie (ici la dernière à cette date) vous obtiendrez une liste de package
  4. kernel ubuntu debian
  5. Concentrez vous sur la version de votre architecture (64bits ou 32bits)
  6. Récupérez les urls des fichiers nommés
    1. linux-headers-***_all.deb
    2. linux-headers-**-generic-**_votreArchitecture.deb
    3. linux-image-**-generic-**_votreArchitecture.deb
  7. Dans votre terminal lancez la commande wget url_du_fichier 3 fois afin de télécharger vos trois package
  8. Puis la commande sudo dpkg -i linux-headers-*.deb linux-image-*.deb afin d’installer vos paquets

Votre kernel est à niveau, vous pouvez redémarrer votre PC et vérifier à nouveau la version de votre kernel.

Partager c'est remercier !