[6958] in testers
Re: ugly default font in terminal windows
daemon@ATHENA.MIT.EDU (Greg Hudson)
Mon May 9 15:29:07 2005
From: Greg Hudson <ghudson@MIT.EDU>
To: Alex T Prengel <alexp@mit.edu>
Cc: testers@mit.edu
In-Reply-To: <200505091836.j49IaXGK024981@central.mit.edu>
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Date: Mon, 09 May 2005 15:28:54 -0400
Message-Id: <1115666934.25661.70.camel@egyptian-gods.mit.edu>
Mime-Version: 1.0
On Mon, 2005-05-09 at 14:36 -0400, Alex T Prengel wrote:
> I got around to logging in as another user, and the problem doesn't show up-
> so something in my home directory must be causing this- but I have no idea
> what- any suggestions for what to try to fix it gratefully appreciated.
Well, in gnome-terminal, Edit -> Current Profile. By default, the "use
system terminal font" should be checked; if it isn't, check it.
Assuming that isn't the problem, run gnome-font-properties (or get there
from the control center), and look at the terminal font. The default
seems to be Monospace 10. If you're using a proportional font, you'll
have trouble.
