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. [email protected] "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"
