Bug#608519: Several improvements to /etc/grub.d/05_debian_theme

[Alexander Kurtz]

Hi everybody,

assuming upstream agrees on my suggestion[1], I think the attached patch
should fix all the remaining issues with unusual filenames, automatic
deletion of obsolete images and lacking customizability of GRUB's menu
colors. What do you think?

Best regards

Alexander Kurtz

[1] https://lists.gnu.org/archive/html/grub-devel/2011-05/msg00050.html
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 05_debian_theme_improvements.patch
Type: text/x-patch
Size: 5516 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-grub-devel/attachments/20110529/4f869e59/attachment-0003.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: This is a digitally signed message part
URL: <http://lists.alioth.debian.org/pipermail/pkg-grub-devel/attachments/20110529/4f869e59/attachment-0003.pgp>