changing the font on the terminal of gnome

[Todd Zullinger]

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.

-- 
Todd        OpenPGP -> KeyID: 0xBEAF0CE3 | URL: www.pobox.com/~tmz/pgp
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Ninety percent of everything is crap.
    -- Sturgeon's Law

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 542 bytes
Desc: not available
Url : http://lists.fedoraproject.org/pipermail/users/attachments/20070919/2910d1c0/attachment-0001.bin