Joey Hess <[EMAIL PROTECTED]> wrote on 01/06/2001 (08:02) : > Preben Randhol wrote: > > Is there a way to change the font when after logging into a Linux box > > with mindterm (Java SSH). I would like to be able to change to a > > iso-8859-7 font, but setfont doesn't work. > > According to the README: > > 4.3.2 Terminal... (Ctrl+Shift+T)
Ctrl+Shift+T doesn't work. > Also, the parameters section lists: > > fn : name of font to use in terminal > fs : size of font to use in terminal In the README these are listes as n/a fn : name of font to use in terminal (N/A) fs : size of font to use in terminal (N/A) But I wanted to change the font on a per user basis. It doesn't have to happen before the user is logged in. -- Preben Randhol ------------------- http://www.pvv.org/~randhol/ -- «For me, Ada95 puts back the joy in programming.»
