From 8b50b551dc1089d0560ffbd9c5dd1e5c9e2d78d5 Mon Sep 17 00:00:00 2001
From: Fathi Boudra <fabo@debian.org>
Date: Fri, 15 Aug 2008 21:17:34 +0000
Subject: [PATCH] Use alternative to provide desktop-grub Rename MoreBlue Orbit
 grub

---
 ...bit-grub-640x480.png => moreblue-orbit-grub.png} | Bin
 debian/changelog                                    |   1 +
 debian/postinst                                     |   6 ++++++
 debian/prerm                                        |   4 ++++
 4 files changed, 11 insertions(+)
 rename backgrounds/{moreblue-orbit-grub-640x480.png => moreblue-orbit-grub.png} (100%)

diff --git a/backgrounds/moreblue-orbit-grub-640x480.png b/backgrounds/moreblue-orbit-grub.png
similarity index 100%
rename from backgrounds/moreblue-orbit-grub-640x480.png
rename to backgrounds/moreblue-orbit-grub.png
diff --git a/debian/changelog b/debian/changelog
index afc8331..165f044 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,6 +3,7 @@ desktop-base (5.0.0) unstable; urgency=low
   * Bump Standards-Version to 3.8.0 (no changes needed).
   * Add Lenny artwork: MoreBlue Orbit.
     Thanks to Andre L. R. Ferreira and Valessio S. Brito.
+  * Use alternative to provide desktop-grub.
 
  -- Fathi Boudra <fabo@debian.org>  Thu, 14 Aug 2008 09:41:06 +0200
 
diff --git a/debian/postinst b/debian/postinst
index a416478..f49f248 100644
--- a/debian/postinst
+++ b/debian/postinst
@@ -68,6 +68,12 @@ if [ "$1" = "configure" -o "$1" = "abort-upgrade" ]; then
         desktop-splash \
         /usr/share/images/desktop-base/Splash-Debian_red.png 10
 
+    # Alternatives for grub
+    update-alternatives --install \
+        /usr/share/images/desktop-base/desktop-grub \
+        desktop-grub \
+        /usr/share/images/desktop-base/moreblue-orbit-grub.png 10
+
     # GRUB background
     if which update-grub2 > /dev/null ; then
         update-grub2
diff --git a/debian/prerm b/debian/prerm
index 4dd9484..57e65df 100644
--- a/debian/prerm
+++ b/debian/prerm
@@ -37,5 +37,9 @@ if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then
 
     update-alternatives --remove desktop-splash \
         /usr/share/images/desktop-base/Splash-Debian_red.png
+
+    # remove grub alternatives
+    update-alternatives --remove desktop-grub \
+        /usr/share/images/desktop-base/moreblue-orbit-grub.png
 fi