Installation de linux-headers en fonction de la version du noyau


#1

Bonjour,

Je souhaite installer les “Guest Additions” de VirtualBox sur une machine client Debian 10 afin de pouvoir mettre en placer un dossier partagé avec ma machine hôte Windows 10.

La dernière étape qu’il me manque pour que l’installation soit correcte est l’installation de linux-headers. La version de mon noyaux est : 4.19.0-5 en amd64. Les headers que je dois installer sont donc linux-headers-4.19.0-5-all. Toutefois ce paquet se trouve uniquement dans les dépôts debian-ports.

Est-ce normal qu’il ne se trouve pas dans le dépôt stable ?

Si c’est le cas, je dois simplement ajouter les lignes ci-dessous dans mon sources.list et procéder à l’installation du paquet ?

deb http://deb.debian.org/debian-ports unstable main
deb-src http://deb.debian.org/debian-ports unstable main

Merci d’avance pour votre aide !

A bientôt.


#2

Oui, car le 4.19.0-5 n’existe plus en stable, la stable est passée en 4.19.0-6.
Le seul linux-image 4.19.0-5 existant encore est dans le depot de sécurité, mais il n’est pas livré avec les headers.
Installes le -6 et tu pourras compiler tes guest additions.


#3

Effectivement, en installant le 4.19.0-6 et les headers correspondants j’ai réussi à installer les guest-additions. Merci beaucoup.