changing the font on the terminal of gnome
Todd Zullinger
tmz at pobox.com
Thu Sep 20 03:48:54 UTC 2007
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://listman.redhat.com/archives/fedora-list/attachments/20070919/2910d1c0/attachment-0001.sig>
More information about the fedora-list
mailing list