Re: changing text size globally for command line windows

[Oliver Logghe <loki frenetic com>]

On 17 Apr 2001 23:10:10 +0200, Mikael Hallendal wrote:
> If you by command line windows means gnome-terminal you can change the
> font used by rightclicking in the window, choose preferences and change
> the font. After choosing ok, every new gnome-terminal should have the
> font you specified.
> 
> Regards,
> Mikael Hallendal


This is correct, but before any new gnome-terminals will reflect the
change you have to close any terminals which still have the old
settings. Otherwise any new terminals will just inherit the old settings
from the open terminals.
Incidentally, when you change the font in a gnome-terminal you should
only change it to another font with character cell spacing (select 'char
cell' in the spacing field of the filters tab in the font dialog),
otherwise the output of anything that does any formatting might turn out
a bit strange.