summaryrefslogtreecommitdiff
path: root/libre/virtualbox-modules/virtualbox-modules.install
diff options
context:
space:
mode:
authorMichał Masłowski <mtjm@mtjm.eu>2012-02-07 21:08:07 +0100
committerMichał Masłowski <mtjm@mtjm.eu>2012-02-07 21:08:07 +0100
commitb0b6cee54d701214ffadc018f75ef7c82ab9a14d (patch)
tree91165bc3df06d8bf287ea3a1f0a512d8c302e220 /libre/virtualbox-modules/virtualbox-modules.install
parent7daf2cc65f7bef79af567cee267faad64605326a (diff)
Update virtualbox and virtualbox-modules.
Diffstat (limited to 'libre/virtualbox-modules/virtualbox-modules.install')
-rw-r--r--libre/virtualbox-modules/virtualbox-modules.install19
1 files changed, 19 insertions, 0 deletions
diff --git a/libre/virtualbox-modules/virtualbox-modules.install b/libre/virtualbox-modules/virtualbox-modules.install
new file mode 100644
index 000000000..671c129d6
--- /dev/null
+++ b/libre/virtualbox-modules/virtualbox-modules.install
@@ -0,0 +1,19 @@
+post_install() {
+/bin/cat << EOF
+===> You must load vboxdrv module before starting VirtualBox:
+===> # modprobe vboxdrv
+EOF
+ EXTRAMODULES='extramodules-3.2-LIBRE'
+ depmod $(cat /lib/modules/$EXTRAMODULES/version)
+}
+
+post_upgrade() {
+ EXTRAMODULES='extramodules-3.2-LIBRE'
+ depmod $(cat /lib/modules/$EXTRAMODULES/version)
+ rmmod vboxdrv || echo 'In order to use the new version, reload all virtualbox modules manually.'
+}
+
+post_remove() {
+ EXTRAMODULES='extramodules-3.2-LIBRE'
+ depmod $(cat /lib/modules/$EXTRAMODULES/version)
+}