On Feb 5, 2013, at 9:02 PM, "D.J.J. Ring, Jr." <n...@arrl.net> wrote:

> I don't know if this message was seen  by the list.
> 
> DR
> 
> 
> On Tue, Feb 5, 2013 at 2:36 AM, Vladimir 'φ-coder/phcoder' Serbinenko 
> <phco...@gmail.com> wrote:
> 
> Agreed. To increase font size regenerate unicode.pf2 using grub-mkfont with 
> appropriate -s option. E.g.
> grub-mkfont -s 24 -o unicode.pf2 /usr/share/fonts/X11/mis/unifont.pcf.gz
> 
> Put resulting file in /boot/grub/unicode_24.pf2 and add
> GRUB_FONT_PATH=/boot/grub/unicode_24.pf2
> to /etc/default/grub

Vladimir replied to my comment inline, with the above. It wasn't supplied by 
me, hence I haven't commented further.

Chris Murphy
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel

Reply via email to