Ok - eu não sei exatamente como, mas na minha quinta tentativa, eu consegui trabalhar e o problema desapareceu automaticamente.
Eu acho que tem a ver com VBoxLinuxAddtions ... veja este tópico , que me deu um pouco de orientação:
Primeiro, você precisa instalar extensões de convidado do VirtualBox:
- No menu do VirtualBox, Dispositivos - > "Instalar adições de convidado"
- Em seguida, monte-os: Dispositivos - > Monte CD / DVD-ROM - > Imagem de CD / DVD-ROM
- Selecione VBoxGuestAdditions.iso
Abra um terminal (Aplicativos - > Acessórios - > Terminal)
-
sudo apt-get install linux-headers-generic
-
mount /media/cdrom
(Se você receber um erro que já está montado, ignore o erro) -
sudo /media/cdrom/VBoxLinuxAdditions-x86.run
- (espera)
- Reinicialize a máquina virtual.