Re: xterm bug

[Todd C . Miller]

On Tue, 19 Dec 2023 10:56:42 -0500, Bryan Steele wrote:

> There's two instances of __default_termid__ in xterm.man, I think this
> will chang the second one to "100", is that correct?

Yes, the "vt" prefix is optional.

 - todd