oxy <[EMAIL PROTECTED]> 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:
-fa pattern
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
resource.
-fs size
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
http://invisible-island.net
ftp://invisible-island.net
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
