Closed johannesmayer closed 4 years ago
We need to add this to the wiki/doc where we say how to update the VGA. But I'd also add it in update_VGA.sh
(then without the sudo
).
this hit me again. @paskino, can you take care of this please?
it needs to be in the Vagrant file as well such that it's done at the start. Possibly in update_VGA
check if it's there already and then don't bother, but as apt
already does that for us, that seems overkill.
Yes, I guess we need to install the linux headers at VM creation time, in the apt installed packages.
I've never seen this as during initial run the VGA for the running VirtualBox is installed.
Before running the update_VGA.sh script one needs to run this command for some reason:
sudo apt install linux-headers-$(uname -r)