Use alternative to provide desktop-grub

Rename MoreBlue Orbit grub
2008-08-15 21:17:34 +00:00
parent 331dd4a33e
commit 8b50b551dc
4 changed files with 11 additions and 0 deletions
@@ -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

@@ -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
@@ -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