groff
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Terminal problem? man formatting problem?


From: Oliver Corff
Subject: Re: Terminal problem? man formatting problem?
Date: Mon, 24 Apr 2023 12:41:10 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.10.1

Thank you indeed!

Long bygone are the times when I still actively worked with the X Window
System and Athena Widgets.

The shift-+ had slipped by, I was so accustomed to use ctrl-+.

Branden had already told me to use -fn.

Thank you again,

Oliver.


On 24/04/2023 11:55, Frederic Chartier wrote:
On 2023-04-24 03:49 +0200, Oliver Corff wrote:

I cannot use xterm, uxterm and Eterm on my system because of the high
screen resolution; those terminal windows appear as tiny stamps which do
not accept the Ctrl-+ resizing command.
With XTerm, the font can be set in three ways that I know of.
By setting the appropriate resource (perhaps "XTerm*vt100.font")
in your ~/.Xresources, through option "-fn" and interactively,
with [shift]-[-] and [shift]-[+]. If you know what font you
want, a wrapper script can be as simple as

#!/bin/sh
: ${font:="-b&h-lucidatypewriter-medium-r-normal-sans-26-190-100-100-m-159-*"}
exec xterm -fn "$font" "$@"



--
Dr. Oliver Corff
mailto:oliver.corff@email.de




reply via email to

[Prev in Thread] Current Thread [Next in Thread]