How to change console font in grub2?

[Tom Horsley]

On Wed, 13 Oct 2010 16:22:40 -0600
Kevin Fenzi wrote:

> So, I think it just needs some dedicated people who are willing to code
> patches and test and coordinate it landing. ;) 

I hope it first needs a reason to happen at all. There are a lot
of legitimate problems with it (referenced earlier in this thread)
which combined seem to make it inferior to the current grub.