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
Attachment:
pgpFV0wVuVm0E.pgp
Description: PGP signature
-- fedora-list mailing list fedora-list@xxxxxxxxxx To unsubscribe: https://www.redhat.com/mailman/listinfo/fedora-list
