[debian-edu-commits] debian-edu/ 247/437: Try to fix grub 2 theme support (Closes: #570786).
Mike Gabriel
sunweaver at debian.org
Sun Mar 2 23:49:39 UTC 2014
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 6aa7e4bc84c8c8bcad6eb285cda132f60474ffef
Author: Petter Reinholdtsen <pere at hungry.com>
Date: Sun Mar 7 18:43:55 2010 +0000
Try to fix grub 2 theme support (Closes: #570786).
---
art/splash/Makefile.am | 13 +++++++++++--
art/splash/Makefile.in | 13 +++++++++++--
art/splash/grub_background.sh | 4 ++++
debian/changelog | 7 +++++++
debian/control | 2 +-
5 files changed, 34 insertions(+), 5 deletions(-)
diff --git a/art/splash/Makefile.am b/art/splash/Makefile.am
index cf6ceb3..c740bcd 100644
--- a/art/splash/Makefile.am
+++ b/art/splash/Makefile.am
@@ -3,7 +3,7 @@ SPLASH = debian-edu-splash.png debian-edu-splash-live.png
RLES = $(SPLASH:.png=.rle)
splashdir = $(datadir)/pixmaps/splash
-splash_DATA = $(SPLASH)
+splash_DATA = $(SPLASH) debian-edu-splash-grub.png
XPMS = splash-debian-edu.xpm
XPMGZS = $(XPMS:.xpm=.xpm.gz)
@@ -11,12 +11,16 @@ XPMGZS = $(XPMS:.xpm=.xpm.gz)
grubdir = /boot/grub
grubsplashdir = $(grubdir)/splashimages
grubsplash_DATA = $(XPMGZS)
+grub2splashdir= /usr/share/desktop-base/grub_background.sh
#BUILT_SOURCES = $(XPMGZS) $(RLES)
SUFFIXES = .png .rle .xpm .xpm.gz
install-data-local: $(XPMGZS)
+ $(mkinstalldirs) $(DESTDIR)$(grub2splashdir)
+ $(INSTALL) grub_background.sh $(DESTDIR)$(grub2splashdir)
+
$(mkinstalldirs) $(DESTDIR)$(grubsplashdir)
# Make it available as a grub splash image, detected and used by update-grub.
@@ -33,6 +37,11 @@ splash-debian-edu.xpm:
splash-debian-edu.xpm.gz: splash-debian-edu.xpm
gzip -9 < $^ > $@
+debian-edu-splash-grub.png:
+ $(MAKE) -C ../usplash background_640x480.png
+ convert -resize 640x480 -colors 14 -background black -depth 8 \
+ ../usplash/background_640x480.png $@
+
.png.rle:
pngtopnm < $^ | ppmquant 16 | ppmtolss16 "#ffffff=7" "#000000=0" > $@
.png.xpm:
@@ -42,4 +51,4 @@ splash-debian-edu.xpm.gz: splash-debian-edu.xpm
EXTRA_DIST = $(splash_DATA)
-CLEANFILES = $(RLES) $(XPMS) $(XPMGZS)
+CLEANFILES = $(RLES) $(XPMS) $(XPMGZS) debian-edu-splash-grub.png
diff --git a/art/splash/Makefile.in b/art/splash/Makefile.in
index e1a58f6..bf8e141 100644
--- a/art/splash/Makefile.in
+++ b/art/splash/Makefile.in
@@ -140,17 +140,18 @@ top_srcdir = @top_srcdir@
SPLASH = debian-edu-splash.png debian-edu-splash-live.png
RLES = $(SPLASH:.png=.rle)
splashdir = $(datadir)/pixmaps/splash
-splash_DATA = $(SPLASH)
+splash_DATA = $(SPLASH) debian-edu-splash-grub.png
XPMS = splash-debian-edu.xpm
XPMGZS = $(XPMS:.xpm=.xpm.gz)
grubdir = /boot/grub
grubsplashdir = $(grubdir)/splashimages
grubsplash_DATA = $(XPMGZS)
+grub2splashdir = /usr/share/desktop-base/grub_background.sh
#BUILT_SOURCES = $(XPMGZS) $(RLES)
SUFFIXES = .png .rle .xpm .xpm.gz
EXTRA_DIST = $(splash_DATA)
-CLEANFILES = $(RLES) $(XPMS) $(XPMGZS)
+CLEANFILES = $(RLES) $(XPMS) $(XPMGZS) debian-edu-splash-grub.png
all: all-am
.SUFFIXES:
@@ -354,6 +355,9 @@ uninstall-am: uninstall-grubsplashDATA uninstall-splashDATA
install-data-local: $(XPMGZS)
+ $(mkinstalldirs) $(DESTDIR)$(grub2splashdir)
+ $(INSTALL) grub_background.sh $(DESTDIR)$(grub2splashdir)
+
$(mkinstalldirs) $(DESTDIR)$(grubsplashdir)
# Make it available as a grub splash image, detected and used by update-grub.
@@ -370,6 +374,11 @@ splash-debian-edu.xpm:
splash-debian-edu.xpm.gz: splash-debian-edu.xpm
gzip -9 < $^ > $@
+debian-edu-splash-grub.png:
+ $(MAKE) -C ../usplash background_640x480.png
+ convert -resize 640x480 -colors 14 -background black -depth 8 \
+ ../usplash/background_640x480.png $@
+
.png.rle:
pngtopnm < $^ | ppmquant 16 | ppmtolss16 "#ffffff=7" "#000000=0" > $@
.png.xpm:
diff --git a/art/splash/grub_background.sh b/art/splash/grub_background.sh
new file mode 100644
index 0000000..32084e1
--- /dev/null
+++ b/art/splash/grub_background.sh
@@ -0,0 +1,4 @@
+# This script is used by /etc/grub.d/05_debian_theme with grub version 2
+WALLPAPER="/usr/share/pixmaps/splash/debian-edu-splash-grub.png"
+COLOR_NORMAL="white/black"
+COLOR_HIGHLIGHT="magenta/black"
diff --git a/debian/changelog b/debian/changelog
index 4de546a..eae21b9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+debian-edu-artwork (0.0.30-5) UNRELEASED; urgency=low
+
+ [ Petter Reinholdtsen ]
+ * Try to fix grub 2 theme support (Closes: #570786).
+
+ -- Petter Reinholdtsen <pere at debian.org> Sun, 07 Mar 2010 19:43:19 +0100
+
debian-edu-artwork (0.0.30-4) unstable; urgency=low
[ Petter Reinholdtsen ]
diff --git a/debian/control b/debian/control
index c996b37..d54376a 100644
--- a/debian/control
+++ b/debian/control
@@ -11,7 +11,7 @@ Package: debian-edu-artwork
Architecture: all
Depends: ${misc:Depends}, libconfig-inifiles-perl
Suggests: grub (>= 0.95+cvs20040624-10), kdm, debian-edu-artwork-usplash
-Conflicts: grub (<< 0.97-39)
+Conflicts: grub (<< 0.97-39), desktop-base
Description: Debian Edu themes and artwork
This package contains Debian Edu themes and artwork.
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-edu/debian-edu-artwork.git
More information about the debian-edu-commits
mailing list