[debian-edu-commits] debian-edu/ 01/02: update scripts: Provide common symlink name for PXE boot splash.

[Mike Gabriel]

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

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

commit c29d2e9d5d6619f21f98917c86158e5009c183c4
Author: Mike Gabriel <mike.gabriel at das-netzwerkteam.de>
Date:   Mon Jul 7 14:30:30 2014 +0200

    update scripts: Provide common symlink name for PXE boot splash.
---
 debian/update-debian-edu-artwork-joy      | 2 ++
 debian/update-debian-edu-artwork-spacefun | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/debian/update-debian-edu-artwork-joy b/debian/update-debian-edu-artwork-joy
index 74cbc8b..9168dee 100755
--- a/debian/update-debian-edu-artwork-joy
+++ b/debian/update-debian-edu-artwork-joy
@@ -21,6 +21,7 @@ change_grub_background() {
 	    /usr/share/pixmaps/splash/debian-edu-joy-splash-grub.png $priority
 	update-alternatives --set desktop-grub \
 	    /usr/share/pixmaps/splash/debian-edu-joy-splash-grub.png
+	ln -sf debian-edu-joy-splash.png /usr/share/pixmaps/splash/debian-edu-splash.png
 	if which update-grub2 > /dev/null ; then
 		sync
 		update-grub2 || true
@@ -30,6 +31,7 @@ change_grub_background() {
 restore_grub_background() {
 	update-alternatives --remove desktop-grub \
 	    /usr/share/pixmaps/splash/debian-edu-joy-splash-grub.png
+	rm -f /usr/share/pixmaps/splash/debian-edu-splash.png
 
 	if which update-grub2 > /dev/null ; then
 		update-grub2 || true
diff --git a/debian/update-debian-edu-artwork-spacefun b/debian/update-debian-edu-artwork-spacefun
index 9bcccb9..d7e243b 100755
--- a/debian/update-debian-edu-artwork-spacefun
+++ b/debian/update-debian-edu-artwork-spacefun
@@ -22,6 +22,7 @@ change_grub_background() {
 	    /usr/share/pixmaps/splash/debian-edu-spacefun-splash-grub.png $priority
 	update-alternatives --set desktop-grub \
 	    /usr/share/pixmaps/splash/debian-edu-spacefun-splash-grub.png
+	ln -sf debian-edu-spacefun-splash.png /usr/share/pixmaps/splash/debian-edu-splash.png
 	if which update-grub2 > /dev/null ; then
 		sync
 		update-grub2 || true
@@ -31,6 +32,7 @@ change_grub_background() {
 restore_grub_background() {
 	update-alternatives --remove desktop-grub \
 	    /usr/share/pixmaps/splash/debian-edu-spacefun-splash-grub.png
+	rm -f /usr/share/pixmaps/splash/debian-edu-splash.png
 
 	if which update-grub2 > /dev/null ; then
 		update-grub2 || true

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