Bug#280086: Improved patch to solve this issue

Otavio Salvador otavio at debian.org
Sat Jul 16 12:01:26 UTC 2005


Hello,

I managed to fix this issue since we're using splash image inside of
Debian-BR-CDD distribution and this problem affected a lot of users.

I'm attaching the needed patch to solve it and it worked very well to
me so I think you should apply it ASAP.

Thanks in advance,
Otavio
-------------- next part --------------
--- old-grub/debian/update-grub	2005-07-03 23:04:33.000000000 -0300
+++ new-grub/debian/update-grub	2005-07-16 08:46:35.000000000 -0300
@@ -688,9 +688,15 @@
 echo >> $buffer
 
 echo -n "Searching for splash image... "
-if [ -f /boot/grub/splash.xpm.gz ]; then
-       echo "found: /boot/grub/splash.xpm.gz ."
-       echo "splashimage=${grub_root_device}${grub_dir}/splash.xpm.gz" >> $buffer
+current_splash=`grep '^splashimage=' ${grub_dir}/menu.lst || true`
+splashimage_path="splashimage=${grub_root_device}${grub_dir##${boot_device:+/boot}}/splash.xpm.gz"
+if [ -f "${grub_dir}/splash.xpm.gz" ]  && [ "$current_splash" == "" ]; then
+       echo "found: /boot/grub/splash.xpm.gz"
+       echo "$splashimage_path" >> $buffer
+       echo >> $buffer
+elif [ "$current_splash" != "" ] && [ "$current_splash" != "$splashimage_path" ]; then
+       echo "found but preserving previous setting: $(grep '^splashimage=' /boot/grub/menu.lst)"
+       echo "$current_splash" >> $buffer
        echo >> $buffer
 else
        echo "none found, skipping..."

-------------- next part --------------

-- 
        O T A V I O    S A L V A D O R
---------------------------------------------
 E-mail: otavio at debian.org      UIN: 5906116
 GNU/Linux User: 239058     GPG ID: 49A5F855
 Home Page: http://www.freedom.ind.br/otavio
---------------------------------------------
"Microsoft gives you Windows ... Linux gives
 you the whole house."


More information about the Pkg-grub-devel mailing list