[debian-edu-commits] r80019 - trunk/src/debian-edu-artwork/debian

[pere at alioth.debian.org]

Author: pere
Date: 2013-05-08 03:06:55 +0000 (Wed, 08 May 2013)
New Revision: 80019

Modified:
   trunk/src/debian-edu-artwork/debian/changelog
   trunk/src/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: trunk/src/debian-edu-artwork/debian/changelog
===================================================================
--- trunk/src/debian-edu-artwork/debian/changelog	2013-05-07 11:54:53 UTC (rev 80018)
+++ trunk/src/debian-edu-artwork/debian/changelog	2013-05-08 03:06:55 UTC (rev 80019)
@@ -1,3 +1,13 @@
+debian-edu-artwork (0.0.33-3) UNRELEASED; 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 05:06:24 +0200
+
 debian-edu-artwork (0.0.33-2) unstable; urgency=low
 
   [ Andreas B. Mundt ]

Modified: trunk/src/debian-edu-artwork/debian/update-artwork
===================================================================
--- trunk/src/debian-edu-artwork/debian/update-artwork	2013-05-07 11:54:53 UTC (rev 80018)
+++ trunk/src/debian-edu-artwork/debian/update-artwork	2013-05-08 03:06:55 UTC (rev 80019)
@@ -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