I'm trying to get set up on the Linux machine at the Philosophy Department.
The Gnome terminal is just a tiny box with very small font. Zach
Johnson set my Gnome terminal at home (on a LERT call) so that it was larger
and had a nice sized font. How do I do this? None of
the settings in the Gnome terminal itself allow these types of changes.
Zach did something else. Can anybody explain what to do?
Thank you.
Bob
--
Robert G. Scofield
[EMAIL PROTECTED]