Dave, Good point about the grub info file. I'll see about adding
something there.

Regarding a default entry in /etc/default/grub:  the 05_debian_theme
patch already has a number of fallback cases to specifically handle
default behavior if certain settings are absent (eg, this is how it
pulls the plymouth theme colors). I don't want to get involved in that
policy mess.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1093140

Title:
  Allow user to specify text colors in /etc/default/grub

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1093140/+subscriptions

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to