3 ms·
I think you can also request the terminal type and at some point you could also request the title of the window in some terminals. Which is why it’s not just an
by tinus_hn 4y ago
I think you can also request the terminal type and at some point you could also request the title of the window in some terminals. Which is why it’s not just annoying but also dangerous to output untrusted characters to the terminal without a filter.