On Tue, Dec 19, 2023 at 08:58:09AM -0700, Todd C. Miller wrote: > 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
ah, right. ok brynet@
