Browse Source

Update linux-headers on first boot

fix-kernel-headers
Luke Childs 4 years ago
parent
commit
372877c2f3
  1. 7
      umbrel-dev

7
umbrel-dev

@ -138,6 +138,13 @@ fi
# Boot the development VM
if [[ "$command" = "boot" ]]; then
check_umbrel_dev_environment
# Update some packages on boot to prevent issues with vagrant-vbguest.
# https://github.com/dotless-de/vagrant-vbguest/issues/351#issuecomment-545391139
vagrant up --no-provision || true # This will sometimes fail
vagrant ssh -c "sudo apt-get update -y && sudo apt-get install -y build-essential linux-headers-amd64 linux-image-amd64 python-pip"
vagrant halt
vagrant up
exit
fi

Loading…
Cancel
Save