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
