On Tue, 2024-02-20 at 19:41 +0100, Sven Joachim wrote: > Maybe that is true for the Linux console, but we are talking about xterm here.
It is actually gnome-terminal, but I guess that doesn't change things, I presume gnome-terminal emulates xterm faithfully enough. -- bye, pabs https://wiki.debian.org/PaulWise
signature.asc
Description: This is a digitally signed message part
