diff options
Diffstat (limited to 'libre/virtualbox-modules/virtualbox-modules.install')
| -rw-r--r-- | libre/virtualbox-modules/virtualbox-modules.install | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/libre/virtualbox-modules/virtualbox-modules.install b/libre/virtualbox-modules/virtualbox-modules.install deleted file mode 100644 index 3f2a12a3f..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.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) -} |