Re: changing the font on the terminal of gnome

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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: pgpuNNb5wYvxH.pgp
Description: PGP signature


[Index of Archives]     [Current Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [Yosemite Photos]     [KDE Users]     [Fedora Tools]     [Fedora Docs]

  Powered by Linux