summaryrefslogtreecommitdiff
path: root/libre/virtualbox-libre-modules/virtualbox-libre-modules.install
diff options
context:
space:
mode:
Diffstat (limited to 'libre/virtualbox-libre-modules/virtualbox-libre-modules.install')
-rw-r--r--libre/virtualbox-libre-modules/virtualbox-libre-modules.install19
1 files changed, 0 insertions, 19 deletions
diff --git a/libre/virtualbox-libre-modules/virtualbox-libre-modules.install b/libre/virtualbox-libre-modules/virtualbox-libre-modules.install
deleted file mode 100644
index 8605cf20a..000000000
--- a/libre/virtualbox-libre-modules/virtualbox-libre-modules.install
+++ /dev/null
@@ -1,19 +0,0 @@
-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)
-}