VirtualBox

source: vbox/trunk/debian/preinst@ 6316

Last change on this file since 6316 was 6316, checked in by vboxsync, 17 years ago

deb files license

File size: 1.2 KB
Line 
1#!/bin/bash -e
2#
3# Copyright (C) 2006-2008 innotek GmbH
4#
5# This file is part of VirtualBox Open Source Edition (OSE), as
6# available from http://www.virtualbox.org. This file is free software;
7# you can redistribute it and/or modify it under the terms of the GNU
8# General Public License as published by the Free Software Foundation,
9# in version 2 as it comes in the "COPYING" file of the VirtualBox OSE
10# distribution. VirtualBox OSE is distributed in the hope that it will
11# be useful, but WITHOUT ANY WARRANTY of any kind.
12#
13
14. /usr/share/debconf/confmodule
15db_version 2.0
16db_capb backup
17
18# check for old vboxdrv modules
19if find /lib/modules -name "vboxdrv\.*" 2>/dev/null|grep -q vboxdrv; then
20 # old modules found
21 db_get virtualbox-ose/delete-old-modules
22 if [ "$RET" = "false" ]; then
23 cat << EOF
24Old vboxdrv kernel modules found in
25EOF
26 find /lib/modules -name "vboxdrv\.*" 2>/dev/null|sed "s+\(.*\)+ \1+g"
27 cat << EOF
28Removing of these modules denied by debconf setting
29EOF
30 else
31 db_input critical virtualbox-ose/delete-old-modules || true
32 db_go || true
33 db_get virtualbox-ose/delete-old-modules
34 if [ "$RET" = "true" ]; then
35 find /lib/modules -name "vboxdrv\.*" 2>/dev/null|xargs rm -f 2>/dev/null
36 fi
37 fi
38fi
Note: See TracBrowser for help on using the repository browser.

© 2024 Oracle Support Privacy / Do Not Sell My Info Terms of Use Trademark Policy Automated Access Etiquette