Bug#714414: Default colors for grub

[Steve McIntyre]

On Sat, Mar 21, 2020 at 02:38:33AM -0700, Joseph Carter wrote:
>This is what being stuck at home for weeks will cause—bug necromancy!

*grin* I hope you're keeping OK!

>I disagree with Martin-Éric Racine that _no_ default should be
>applied at all, just that there ought to be means to change it, which
>might have some implications for #461851 complaining about the color
>choices used back in 2008. If they can be chosen in
>/etc/default/grub, then it doesn't really matter what the defaults
>are.

Nod, sounds reasonable. Not a priority for me or Colin, I guess, but
if you have ideas on how to implement that it should help!

-- 
Steve McIntyre, Cambridge, UK.                                steve at einval.com
"Yes, of course duct tape works in a near-vacuum. Duct tape works
 anywhere. Duct tape is magic and should be worshipped."
   -― Andy Weir, "The Martian"