Re: discovering debian ...
oxy <email@example.com> wrote:
> Hi, i just installed debian/gnome and am discovering it.
> At first, few things sound strange:
> where is man here? There is only a strange xman :-[
> The /usr/share/man is actually there ...
> an apropos? whatis?
> `xtem --help` says that `xterm -fs 14` should work, but the font size
> does not change!
Actually it doesn't say _that_ ("xterm -help" lists the available options).
man xterm gives more words:
This option sets the pattern for fonts selected from
the FreeType library if support for that library was
compiled into xterm. This corresponds to the
faceName resource. When a CJK double-width font is
specified, you also need to turn on the cjkWidth
This option sets the pointsize for fonts selected
from the FreeType library if support for that
library was compiled into xterm. This corresponds
to the faceSize resource.
The "-fs" option does nothing if the "-fa" option (or "faceName" resource)
is not given. The default uses the bitmap fonts.
Thomas E. Dickey