J'obtiens l'erreur suivante lors de la tentative d'installation des modules du noyau VirtualBox:
------------------------------
Deleting module version: 4.1.18
completely from the DKMS tree.
------------------------------
Done.
Loading new virtualbox-4.1.18 DKMS files...
Building only for 3.5.0-17-generic
Module build for the currently running kernel was skipped since the
kernel source for this kernel does not seem to be installed.
J'ai essayé d'installer le paquet linux-source, mais je ne sais pas comment Ubuntu gère les sources et les en-têtes du noyau.
Avez-vous des idées sur la façon de le faire d'un point de vue Ubuntu?
sudo apt install --reinstall virtualbox-dkms