Re: changing the font on the terminal of gnome

[Mark Knoop <mark opus11 net>]

Todd Zullinger wrote:
> Scott wrote:
>> How does one go about changing the font on Gnome terminal.  My
>> father tells me it is too small for him.
> 
> By default the gnome terminal uses the fixed width font setting
> specified in the gnome font properties.  To change this, navigate to
> System -> Preferences -> Look and Feel -> Font.  Then change the fixed
> width font to taste.
> 
> It is also possible to set the font just for gnome-terminal.  This is
> done via Edit -> Current Profile in gnome-terminal, on the General
> tab.  Just uncheck the "Use the system fixed width font" box and then
> adjust the font.

You can also temporarily adjust the font size with Ctrl +/- in gnome
terminal.

-- 
Mark Knoop