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

2011-02-08 Thread Alexander Kurtz
tag 608519 - wontfix tag 608519 + patch Dear GRUB maintainers, Now that squeeze is released, I'd like to clean up some code. Please include the attached patch in the next upload. Detailed description follows: * 05_debian_theme: - Small cosmetic fix. - Make the file extension code case

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

2011-01-04 Thread Alexander Kurtz
Am Dienstag, den 04.01.2011, 00:34 + schrieb Colin Watson: 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

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

2011-01-03 Thread Colin Watson
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

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

2011-01-02 Thread Alexander Kurtz
severity 608519 important tag 608519 confirmed wontfix thanks Hi, Am Freitag, den 31.12.2010, 19:39 + schrieb Brian Potkin: I have a machine running unstable. The background image is moreblue-orbit-grub.png which is in /boot/grub. The image was copied from desktop-base but the package

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

2011-01-02 Thread Brian Potkin
On Sun 02 Jan 2011 at 17:03:56 +0100, Alexander Kurtz wrote: Unfortunately I can't think of any way to fix this. 05_debian_theme is already comparing filenames AND checksums to make sure it doesn't delete user-generated files. I was also thinking about comparing the timestamps so that

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

2011-01-02 Thread Alexander Kurtz
Hi, I am sorry for the discomfort my script has caused. I'll try to explain my intentions: Earlier versions of GRUB's postinst copied `moreblue-orbit-grub.png' to /boot/grub/ unconditionally. That was a bad idea because this a) wasn't necessary for all users - on many machines GRUB could

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

2011-01-02 Thread Brian Potkin
On Sun 02 Jan 2011 at 21:23:42 +0100, Alexander Kurtz wrote: Hi, I am sorry for the discomfort my script has caused. I'll try to explain my intentions: [Snip] Your comprehensive explanation is very much appreciated. Like you I don't see any way to have 05_debian_theme discover where a file

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

2011-01-02 Thread Alexander Kurtz
Hi Brian, I'm happy that we were able to resolve this. Please note that I not only tagged the bug `wontfix' but also `confirmed'. That's because I still think that this IS a valid bug report. I can't fix it right now, but once Squeeze is released and I can be relatively sure that nobody has

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

2010-12-31 Thread Brian Potkin
Package: grub-pc Severity: important I have a machine running unstable. The background image is moreblue-orbit-grub.png which is in /boot/grub. The image was copied from desktop-base but the package itself has never been installed on the system and, due to space restrictions, never will be. The