From d7931e8fa49a4698ac8dbb1a155ca6b48f031828 Mon Sep 17 00:00:00 2001 From: root Date: Fri, 6 Jan 2012 23:14:57 +0000 Subject: Fri Jan 6 23:14:57 UTC 2012 --- .../virtualbox-modules/virtualbox-modules.install | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 community-testing/virtualbox-modules/virtualbox-modules.install (limited to 'community-testing/virtualbox-modules/virtualbox-modules.install') diff --git a/community-testing/virtualbox-modules/virtualbox-modules.install b/community-testing/virtualbox-modules/virtualbox-modules.install new file mode 100644 index 000000000..eeab16ca9 --- /dev/null +++ b/community-testing/virtualbox-modules/virtualbox-modules.install @@ -0,0 +1,19 @@ +post_install() { +/bin/cat << EOF +===> You must load vboxdrv module before starting VirtualBox: +===> # modprobe vboxdrv +EOF + EXTRAMODULES='extramodules-3.2-ARCH' + depmod $(cat /lib/modules/$EXTRAMODULES/version) +} + +post_upgrade() { + EXTRAMODULES='extramodules-3.2-ARCH' + depmod $(cat /lib/modules/$EXTRAMODULES/version) + echo 'In order to use the new version, reload all virtualbox modules manually.' +} + +post_remove() { + EXTRAMODULES='extramodules-3.2-ARCH' + depmod $(cat /lib/modules/$EXTRAMODULES/version) +} -- cgit v1.2.3-54-g00ecf