forcemerge 608283 608519 severity 608283 normal tags 608283 - patch retitle 608283 Several improvements to /etc/grub.d/05_debian_theme reassign 608283 grub-common thanks
Hi everybody,
now that #611123 and #612417 are fixed, I want to continue improving
GRUB's customizing capabilities. Here is my to-do list:
1. Provide a configuration variable to support setting custom menu
colors. Debian alone has 6 (!) bug reports asking for that
functionality (#461851, #495282, #495616, #500134, #608283 and
#610273). The lack of a proper way to to this has also lead to some,
"creative" solutions from users, see for example:
http://www.debianuserforums.org/viewtopic.php?f=10&t=151
http://ubuntuforums.org/showthread.php?t=1739412
This task will most likely include coordination with upstream. I'll
start with the suggestions made in #608283.
2. Defuse or disable the logic removing obsolete background images
from /boot/grub. This can cause non-serious data loss (#608519).
3. Various other small and cosmetic fixes, mostly from the patch
proposed in #608519.
If there are no problems, I expect to have something usable by the end
of the week.
Best regards
Alexander Kurtz
signature.asc
Description: This is a digitally signed message part
