[debian-edu-commits] debian-edu/ 312/437: Raise the update-alternatives priority of our grub image from 15 to 50, to make sure it is higher priority than the 20 used by desktop-base for joy-grub.png. This bring our artwork back to grub.

[Mike Gabriel]

This is an automated email from the git hooks/post-receive script.

sunweaver pushed a commit to branch master
in repository debian-edu-artwork.

commit 5ef2cad490b381c801fa1d64292c6ef07ec79343
Author: Petter Reinholdtsen <pere at hungry.com>
Date:   Wed May 8 07:53:56 2013 +0000

    Raise the update-alternatives priority of our grub image from 15
    to 50, to make sure it is higher priority than the 20 used by
    desktop-base for joy-grub.png.  This bring our artwork back to
    grub.
---
 debian/changelog      | 12 +++++++++++-
 debian/update-artwork |  3 ++-
 2 files changed, 13 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 6cbceaf..e50a979 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,13 @@
+debian-edu-artwork (0.0.33-4) unstable; urgency=low
+
+  [ Petter Reinholdtsen ]
+  * Raise the update-alternatives priority of our grub image from 15
+    to 50, to make sure it is higher priority than the 20 used by
+    desktop-base for joy-grub.png.  This bring our artwork back to
+    grub.
+
+ -- Petter Reinholdtsen <pere at debian.org>  Wed, 08 May 2013 09:52:32 +0200
+
 debian-edu-artwork (0.0.33-3) unstable; urgency=low
 
   [ Hideki Yamane ]
@@ -9,7 +19,7 @@ debian-edu-artwork (0.0.33-3) unstable; urgency=low
   * Bump Standards-Version to 3.9.3, no changes needed.
   * Set package priority to extra.
 
- -- Holger Levsen <holger at debian.org>  Sat, 23 Jun 2012 14:51:47 +0200
+ -- Petter Reinholdtsen <pere at debian.org>  Wed, 08 May 2013 09:49:38 +0200
 
 debian-edu-artwork (0.0.33-2) unstable; urgency=low
 
diff --git a/debian/update-artwork b/debian/update-artwork
index 67f7655..7c6b9ee 100644
--- a/debian/update-artwork
+++ b/debian/update-artwork
@@ -13,10 +13,11 @@ restore_ldm_background() {
 
 ## GRUB
 change_grub_background() {
+    priority=50 # value higher than 20 used for joy-grub.png in desktop-base
     update-alternatives --install \
         /usr/share/images/desktop-base/desktop-grub.png \
         desktop-grub \
-        /usr/share/pixmaps/splash/debian-edu-splash-grub.png 16
+        /usr/share/pixmaps/splash/debian-edu-splash-grub.png $priority
 
     if which update-grub2 > /dev/null ; then
         sync

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-edu/debian-edu-artwork.git