home *** CD-ROM | disk | FTP | other *** search
- #!/bin/sh
-
- set -e
-
- if [ "x$1" = xfailed-upgrade ] && [ "x$2" = x0.1-23ubuntu10 ]
- then
- exit 0
- fi
- if dpkg --compare-versions "$2" lt "0.1-19"; then
- # setkeycodes exits with error sometimes (#437360) and has
- # completely broken the upgrade path for some users.
- # remove the saved state file if installed package prerm
- # maintainer script fails.
- rm -f /var/run/hotkey-setup
- fi
-
- # Automatically added by dh_installinit
- if [ -x "/etc/init.d/hotkey-setup" ]; then
- if [ -x "`which invoke-rc.d 2>/dev/null`" ]; then
- invoke-rc.d hotkey-setup stop || exit $?
- else
- /etc/init.d/hotkey-setup stop || exit $?
- fi
- fi
- # End automatically added section
-
-