Virtualbox¶

Installation
Une fois le systeme a jour avec les dépots backports et contrib :

apt install -t stretch-backports virtualbox-qt

Ajout d'un utilisateur

sudo usermod -a -G vboxusers nomutilisateur

Pb de paquets

sudo apt-get install -t stretch-backports virtualbox-dkms

Probleme rencontré

WARNING: The character device /dev/vboxdrv does not exist.
Please install the virtualbox-dkms package and the appropriate
headers, most likely linux-headers-amd64.
You will not be able to start VMs until this problem is fixed.

Non résolu

sudo apt-get install -t stretch-backports linux-headers-amd64

Donne :

linux-headers-amd64 is already the newest version (4.19+105~bpo9+1).

Résolution aveugle (site en teuton) : https://debianforum.de/forum/viewtopic.php?t=171930

apt install linux-headers-$(uname -r)
dpkg --audit
dpkg -i virtualbox-6.0_6.0.0-127566~Debian~stretch_amd64.deb
modprobe vboxdrv