Estou recebendo o seguinte erro ao tentar instalar os módulos do kernel do 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.
Eu tentei instalar o pacote linux-source, mas não tenho certeza de como o Ubuntu lida com fontes e cabeçalhos do kernel.
Alguma idéia de como fazer isso do ponto de vista do Ubuntu?
sudo apt install --reinstall virtualbox-dkms