MémoAvant d'installer Virtualbox 6.0.4 r128413 sur Ubuntu 18.04, il faut lancer ces commandes en mode root :
sudo apt update
sudo apt-get install gcc make linux-headers-$(uname -r) dkms
Puis il s'en suit une longue installation de paquets... Après le retour du prompt de la console...installer Virtualbox !
Lors de la première utilisation, pour utiliser les périphériques USB dans le système invité, il faut :
Permettre l'utilisation des ports USB pour VirtualBox en indiquant les comptes qui appartiendront au groupe vboxusers dans le système hôte. Si vous souhaitez ajouter un utilisateur spécifique, remplacez la variable $USER par le nom de l'utilisateur en question (
exemple utilisateur infothema). Naturellement, il faut que l'un de vos utilisateurs porte le nom d'infothema !
sudo usermod -G vboxusers -a infothema