diff options
author | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-01-09 03:58:56 +0000 |
---|---|---|
committer | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-01-09 03:58:56 +0000 |
commit | ebfbe6aa4a09806147654dd9e8d512cd68921e0d (patch) | |
tree | 645198602e94164a4130285756f401ae0b0756fd /libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install | |
parent | 3092fe0e20f490a5f9b8b9602ffc039a22be60c0 (diff) |
Thu Jan 9 03:54:24 UTC 2014
Diffstat (limited to 'libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install')
-rwxr-xr-x | libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install b/libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install deleted file mode 100755 index df643c9a6..000000000 --- a/libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install +++ /dev/null @@ -1,23 +0,0 @@ -_depmod() { - EXTRAMODULES='extramodules-3.10-LIBRE' - 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: |