[debian-edu-commits] r80020 - branches/wheezy/debian-edu-artwork/debian

[pere at alioth.debian.org]

Author: pere
Date: 2013-05-08 07:53:56 +0000 (Wed, 08 May 2013)
New Revision: 80020

Modified:
   branches/wheezy/debian-edu-artwork/debian/changelog
   branches/wheezy/debian-edu-artwork/debian/update-artwork
Log:
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.

Modified: branches/wheezy/debian-edu-artwork/debian/changelog
===================================================================
--- branches/wheezy/debian-edu-artwork/debian/changelog	2013-05-08 03:06:55 UTC (rev 80019)
+++ branches/wheezy/debian-edu-artwork/debian/changelog	2013-05-08 07:53:56 UTC (rev 80020)
@@ -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 @@
   * 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
 

Modified: branches/wheezy/debian-edu-artwork/debian/update-artwork
===================================================================
--- branches/wheezy/debian-edu-artwork/debian/update-artwork	2013-05-08 03:06:55 UTC (rev 80019)
+++ branches/wheezy/debian-edu-artwork/debian/update-artwork	2013-05-08 07:53:56 UTC (rev 80020)
@@ -13,10 +13,11 @@
 
 ## 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