#!/bin/sh # # Copyright (C) 2006-2012 Oracle Corporation # # This file is part of VirtualBox Open Source Edition (OSE), as # available from http://www.virtualbox.org. This file is free software; # you can redistribute it and/or modify it under the terms of the GNU # General Public License (GPL) as published by the Free Software # Foundation, in version 2 as it comes in the "COPYING" file of the # VirtualBox OSE distribution. VirtualBox OSE is distributed in the # hope that it will be useful, but WITHOUT ANY WARRANTY of any kind. # # we can be called with the following arguments (6.5 of Debian policy): # remove: (our version): remove our package # purge: (our version): purge our package # upgrade: (our version): upgrade to a new version # failed-upgrade (old version): failed to upgrade to a new version # abort-install (our version): aborted install # abort-upgrade (old version): aborted upgrade if [ "$1" = "purge" -a ! -f /etc/init.d/vboxdrv ] ; then update-rc.d vboxdrv remove >/dev/null || exit $? fi if [ "$1" = "purge" -a ! -f /etc/init.d/vboxnet ] ; then update-rc.d vboxnet remove >/dev/null || exit $? fi if [ "$1" = "purge" -a ! -f /etc/init.d/vboxweb-service ] ; then update-rc.d vboxweb-service remove >/dev/null || exit $? fi if [ "$1" = "purge" -a ! -f /etc/init.d/vboxballoonctrl-service ] ; then update-rc.d vboxballoonctrl-service remove >/dev/null || exit $? fi # remove installed extension packs if [ "$1" = "purge" ]; then rm -rf /usr/lib/virtualbox/ExtensionPacks/* fi #DEBHELPER# exit 0