Question: How does one change the font size, bg color, foreground color of a
gnome terminal?
Thanks!
You can change it in the Gnome terminal profile as others have suggested, or by the following:
click on RedHat -> Preferences -> Font
Look for "Terminal font", and you see a font face and size selection there.
Clint
