From ca760033c159aa61c25633927cce6cac579d5e5a Mon Sep 17 00:00:00 2001
From: André Fabian Silva Delgado <emulatorman@lavabit.com>
Date: Wed, 19 Sep 2012 04:35:03 -0300
Subject: virtualbox-libre-modules-4.2.0-2: changing names files

---
 .../virtualbox-libre-host-modules.install             | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100755 libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install

(limited to 'libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install')

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)
+}
-- 
cgit v1.2.3-54-g00ecf