From 0dca221c8f74227e7ba159e06e343a39f0361f68 Mon Sep 17 00:00:00 2001 From: Yves-Alexis Perez Date: Sun, 14 Nov 2010 13:52:22 +0000 Subject: [PATCH] the alternative is still called desktop-grub, without extension --- debian/prerm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/prerm b/debian/prerm index ae1b641..40fe91a 100644 --- a/debian/prerm +++ b/debian/prerm @@ -30,10 +30,10 @@ if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then /usr/share/images/desktop-base/gnome-splash-curves.png # remove grub alternatives - update-alternatives --remove desktop-grub.png \ + update-alternatives --remove desktop-grub \ /usr/share/images/desktop-base/spacefun-grub.png - update-alternatives --remove desktop-grub.png \ + update-alternatives --remove desktop-grub \ /usr/share/images/desktop-base/moreblue-orbit-grub.png fi