From 2c8690dc0e97a65501c60fd41836c19328c3c0cc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Fabian=20Silva=20Delgado?=
 <emulatorman@lavabit.com>
Date: Thu, 26 Jul 2012 05:58:42 -0300
Subject: changing names on virtualbox-modules and virtualbox-modules-lts to
 virtualbox-libre-modules and virtualbox-libre-modules-lts

---
 libre/virtualbox-modules/virtualbox-modules.install | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 libre/virtualbox-modules/virtualbox-modules.install

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

diff --git a/libre/virtualbox-modules/virtualbox-modules.install b/libre/virtualbox-modules/virtualbox-modules.install
deleted file mode 100644
index b178686e2..000000000
--- a/libre/virtualbox-modules/virtualbox-modules.install
+++ /dev/null
@@ -1,19 +0,0 @@
-post_install() {
-/bin/cat << EOF
-===> You must load vboxdrv module before starting VirtualBox:
-===> # modprobe vboxdrv
-EOF
-    EXTRAMODULES='extramodules-3.4-LIBRE'
-    depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
-}
-
-post_upgrade() {
-    EXTRAMODULES='extramodules-3.4-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.4-LIBRE'
-    depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
-}
-- 
cgit v1.2.3-2-g168b