On Thu, Dec 12, 2024 at 10:23:27AM +0100, ignat...@cs.uni-bonn.de wrote:
> On Thu, Dec 12, 2024 at 08:47:22AM +0100, Martin Husemann wrote:
> > On Thu, Dec 12, 2024 at 08:09:46AM +0100, Ignatios Souvatzis wrote:
> > > No, but you can do that with a small script from the terminal - there's
> > > an escape character sequence. I'll post my script later when I have
> > > access to it.
> >
> > Something like:
> >
> > printf "\x1b]2;you are: ${USER} and here: ${cwd} \x07"
> >
> > where \x1b is ESC and \x07 is ^G aka BEL
> >
> > or:
> >
> > printf "\x1b]2;Hi ${USER} it is %s\x07" "$(date)"
>
> Yes , only my script useds \033 and \007, not that newfangled hex stuff ;-)
>
> Be careful not to send that to wscons terminals, only xterms and
> similar, though! The ANSI standard ESC ] introduces much longer
> sequences ("Operating System Control") that end in a different
> delimiter!
Wait - we disarmed this trap in 2021, so any supported NetBSD releases
are safe.
-is
