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.