1 files changed, 64 insertions, 0 deletions
diff --git a/debian/gnumach-image.prerm.in b/debian/gnumach-image.prerm.in
new file mode 100644
index 0000000..c82616c
--- /dev/null
+++ b/debian/gnumach-image.prerm.in
@@ -0,0 +1,64 @@
+#!/bin/sh
+# prerm script
+#
+# see: dh_installdeb(1)
+
+set -e
+
+# summary of how this script can be called:
+#        * <prerm> `remove'
+#        * <old-prerm> `upgrade' <new-version>
+#        * <new-prerm> `failed-upgrade' <old-version>
+#        * <conflictor's-prerm> `remove' `in-favour' <package> <new-version>
+#        * <deconfigured's-prerm> `deconfigure' `in-favour'
+#          <package-being-installed> <version> `removing'
+#          <conflicting-package> <version>
+# for details, see http://www.debian.org/doc/debian-policy/ or
+# the debian-policy package
+
+PATH="/sbin:/bin:/usr/sbin:/usr/bin"
+KERNEL_IMG_CONF="/etc/kernel-img.conf"
+RELEASE="@RELEASE@"
+VERSION="@VERSION@"
+
+case "$1" in
+    remove)
+        # Sanitize and quote maintainer script parameters
+        for p in "$@"; do
+            q="$(echo "$p" | sed -e "s/'/'\\''/g")"
+            DEB_MAINT_PARAMS="$DEB_MAINT_PARAMS '$q'"
+        done
+        export DEB_MAINT_PARAMS
+
+        # Run prerm hook if defined
+        prerm_hook=$(sed '/^\s*prerm_hook/!d;s/.*=\s*//g' $KERNEL_IMG_CONF 2>/dev/null || true)
+        if [ -n "$prerm_hook" ] ; then
+            echo "Running prerm hook script $prerm_hook." 1>&2 
+            $prerm_hook "$RELEASE" "/boot/gnumach-$RELEASE.gz"
+        fi
+
+        # Run /etc/kernel/prerm.d/ hooks if they exist
+        if [ -d "/etc/kernel/prerm.d" ]; then
+            echo "Running /etc/kernel/prerm.d hooks..." 1>&2
+            run-parts --verbose --exit-on-error \
+                --arg=$RELEASE \
+                --arg=/boot/gnumach-$RELEASE.gz \
+                /etc/kernel/prerm.d
+        fi
+    ;;
+
+    failed-upgrade|upgrade|deconfigure)
+    ;;
+
+    *)
+        echo "prerm called with unknown argument \`$1'" >&2
+        exit 1
+    ;;
+esac
+
+# dh_installdeb will replace this with shell code automatically
+# generated by other debhelper scripts.
+
+#DEBHELPER#
+
+exit 0