On Feb 5, 2013, at 9:02 PM, "D.J.J. Ring, Jr." <[email protected]> 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 > <[email protected]> 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 [email protected] https://lists.gnu.org/mailman/listinfo/grub-devel
