gnome-terminal does not have much configurable font size. I started using my old love among terminals called xterm. http://dnh500.blogspot.com/2007/05/use-xterm-in-ubuntu.html is good about how to edit your menu to make xterm readily usable. http://ubuntuforums.org/showthread.php?t=702664 is about configuring xterm.
My simple .Xdefaults file:
! you should run> xrdb < ~/.Xdefaults
xterm*font: -*-lucidatypewriter-medium-r-*-*-12-*-*-*-*-71-iso8859-*
xterm.vt100.background:black
xterm.vt100.foreground:grey
No comments:
Post a Comment