Bug#608519: grub-pc: 05_debian_theme assumes background image was copied from an installed desktop-base

Colin Watson cjwatson at debian.org
Tue Jan 4 00:34:48 UTC 2011


On Sun, Jan 02, 2011 at 09:23:42PM +0100, Alexander Kurtz wrote:
> As explained earlier I don't see any way to distinguish between the case
> where you put the file under /boot/grub/ and the case where GRUB's
> postinst did that. To 05_debian_theme both cases look the same.
> 
> The only real solution to your problem is to simply remove the offending
> code completely. I plan to do that, but only after squeeze's release.
> meanwhile you can simply use a different name for the picture.
> 
> So, after all this is more of a political decision than a technical one.
> I therefore believe  that the package maintainer should decide what's
> the correct thing to do. However, I guess he's agreeing with my decision
> since he initially accepted that code.

I'm OK with your approach outlined in this and your subsequent comment
on this bug.  I think the situation is slightly unfortunate, but on the
whole you seem to have made the best of a bad job and it's indeed a
candidate for cleanup after squeeze.

-- 
Colin Watson                                       [cjwatson at debian.org]





More information about the Pkg-grub-devel mailing list