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