Wed Oct 3 01:31:01 PDT 2012

1 files changed, 19 insertions, 0 deletions

diff --git a/community-testing/virtualbox-modules/virtualbox-host-modules.install b/community-testing/virtualbox-modules/virtualbox-host-modules.install
new file mode 100644
index 000000000..3f2ed4a10
--- /dev/null
+++ b/community-testing/virtualbox-modules/virtualbox-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.6-ARCH'
+    depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
+}
+
+post_upgrade() {
+    EXTRAMODULES='extramodules-3.6-ARCH'
+    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.6-ARCH'
+    depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
+}