Switches Vagrant box from Ubuntu to Debian 10, installs Firefox ESR, renames role

This commit is contained in:
Jan Beilicke 2021-04-20 21:39:29 +02:00
parent 1f799e612d
commit c32aafabd0
6 changed files with 43 additions and 47 deletions

View file

@ -0,0 +1,15 @@
--- /opt/VBoxGuestAdditions-6.1.18/init/vboxadd 2021-03-16 04:06:15.928284593 +0000
+++ /opt/VBoxGuestAdditions-6.1.18/init/vboxadd 2021-03-16 04:07:36.249727179 +0000
@@ -499,9 +499,10 @@
case "$no_udev" in 1)
sleep .5;;
esac
- $MODPROBE vboxsf > /dev/null 2>&1 ||
- info "modprobe vboxsf failed"
}
+ # HACK
+ $MODPROBE vboxsf > /dev/null 2>&1 ||
+ info "modprobe vboxsf failed"
case "$no_udev" in 1)
do_vboxguest_non_udev;;
esac