From 2cd29d345f926919986de8e419009405b6e67fe0 Mon Sep 17 00:00:00 2001 From: Fathi Boudra Date: Mon, 14 Jan 2008 13:46:09 +0000 Subject: [PATCH] * Move update-grub2 hook to postrm instead of prerm. --- debian/changelog | 6 ++++++ debian/postrm | 10 ++++++++++ debian/prerm | 4 ---- 3 files changed, 16 insertions(+), 4 deletions(-) create mode 100644 debian/postrm diff --git a/debian/changelog b/debian/changelog index 1513243..84df087 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +desktop-base (4.0.6) UNRELEASED; urgency=low + + * Move update-grub2 hook to postrm instead of prerm. + + -- Fathi Boudra Mon, 14 Jan 2008 14:44:26 +0100 + desktop-base (4.0.5) unstable; urgency=low [ Fathi Boudra ] diff --git a/debian/postrm b/debian/postrm new file mode 100644 index 0000000..864bf9e --- /dev/null +++ b/debian/postrm @@ -0,0 +1,10 @@ +#!/bin/sh -e + +#DEBHELPER# + +if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then + if which update-grub2 > /dev/null ; then + update-grub2 + fi +fi + diff --git a/debian/prerm b/debian/prerm index f822f4b..2c9fe75 100644 --- a/debian/prerm +++ b/debian/prerm @@ -31,9 +31,5 @@ if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then update-alternatives --remove desktop-splash \ /usr/share/images/desktop-base/Splash-Debian_red.png - - if which update-grub2 > /dev/null ; then - update-grub2 - fi fi