diff options
Diffstat (limited to 'libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install')
-rwxr-xr-x | libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install b/libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install new file mode 100755 index 000000000..8605cf20a --- /dev/null +++ b/libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install @@ -0,0 +1,19 @@ +post_install() { +cat << EOF +===> You must load vboxdrv module before starting VirtualBox: +===> # modprobe vboxdrv +EOF + EXTRAMODULES='extramodules-3.5-LIBRE' + depmod $(cat /usr/lib/modules/$EXTRAMODULES/version) +} + +post_upgrade() { + EXTRAMODULES='extramodules-3.5-LIBRE' + depmod $(cat /usr/lib/modules/$EXTRAMODULES/version) + echo 'In order to use the new version, reload all virtualbox modules manually.' +} + +post_remove() { + EXTRAMODULES='extramodules-3.5-LIBRE' + depmod $(cat /usr/lib/modules/$EXTRAMODULES/version) +} |