diff options
Diffstat (limited to 'debian/gator-module-dkms/DEBIAN/prerm')
-rwxr-xr-x | debian/gator-module-dkms/DEBIAN/prerm | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/debian/gator-module-dkms/DEBIAN/prerm b/debian/gator-module-dkms/DEBIAN/prerm new file mode 100755 index 0000000..af942ec --- /dev/null +++ b/debian/gator-module-dkms/DEBIAN/prerm @@ -0,0 +1,29 @@ +#!/bin/sh + +NAME=gator-module +PACKAGE_NAME=$NAME-dkms +VERSION=`dpkg-query -W -f='${Version}' $PACKAGE_NAME | awk -F "-" '{print $1}' | cut -d\: -f2` + +set -e + +case "$1" in + remove|upgrade|deconfigure) + if [ "`dkms status -m $NAME`" ]; then + dkms remove -m $NAME -v $VERSION --all + fi + ;; + + failed-upgrade) + ;; + + *) + echo "prerm called with unknown argument \`$1'" >&2 + exit 1 + ;; +esac + + + +exit 0 + + |