changing the font on the terminal of gnome
Mark Knoop
mark at opus11.net
Thu Sep 20 08:39:43 UTC 2007
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
More information about the users
mailing list