On Thu, May 22, 2014 at 09:34:21AM -0400, john s. wrote: > How can I increase the size of the console font? > It depends on your terminal emulator. I suppose it's gnome-terminal. Can you check and report back?