diff options
| author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2012-07-26 05:58:42 -0300 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2012-07-26 05:58:42 -0300 |
| commit | 2c8690dc0e97a65501c60fd41836c19328c3c0cc (patch) | |
| tree | 2651682286c66d9c14252ebfa15c13d478ac3998 /libre/virtualbox-modules/virtualbox-modules.install | |
| parent | ff0071716aa6bf9100e49508b815da77cb735942 (diff) | |
changing names on virtualbox-modules and virtualbox-modules-lts to virtualbox-libre-modules and virtualbox-libre-modules-lts
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 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) -} |