On Sunday 26 Jan 2014 21:42:54 Peter Humphrey wrote: > On Sunday 26 Jan 2014 21:28:55 I wrote: > > On Sunday 26 Jan 2014 20:13:58 Neil Bothwick wrote: > > > Uncomment this line in /etc/default/grub > > > > > > #GRUB_TERMINAL=console > > > > Thanks, but I'm using a manually written grub.cfg, so I need to find out > > what that definition translates to. I'm searching now... > > It was easier than I expected (I hope). I just had to add two lines to > grub.cfg: > terminal_input console > terminal_output console > > Mike G had suggested gfxterm for terminal_output, so I just changed it and > added terminal_input. I'll test it next time I boot.
Nope. Now I'm back to @ signs in place of the border, with the text still at the original size needing a magnifying glass (well, I do these days). -- Regards Peter