Fri Jul 19 01:09:18 PDT 2013

1 files changed, 23 insertions, 0 deletions

diff --git a/community/virtualbox-modules/virtualbox-host-modules.install b/community/virtualbox-modules/virtualbox-host-modules.install
new file mode 100644
index 000000000..b1c7a68c6
--- /dev/null
+++ b/community/virtualbox-modules/virtualbox-host-modules.install
@@ -0,0 +1,23 @@
+_depmod() {
+  EXTRAMODULES='extramodules-3.9-ARCH'
+  depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
+}
+
+post_install() {
+  cat << EOF
+===> You must load vboxdrv module before starting VirtualBox:
+===> # modprobe vboxdrv
+EOF
+  _depmod
+}
+
+post_upgrade() {
+  _depmod
+  echo 'In order to use the new version, reload all virtualbox modules manually.'
+}
+
+post_remove() {
+  _depmod
+}
+
+# vim:set ts=2 sw=2 et: