Support more xterm/VT100 control characters
Problem
I use some VT100 control characters in my scripts. I've found that Elementary Terminal seems to ignore them.
#!/bin/sh
text="${*}"
printf "\033#3%s\n" "${text}"
printf "\033#4%s\n" "${text}"
printf "\033#5"
$ bigtext this should be big
this should be big
this should be big

Proposal
Support xterm/VT100 control characters
One document on them:
https://invisible-island.net/xterm/ctlseqs/ctlseqs.html
Prior Art (Optional)
xterm and Apple Terminal support this, but iterm2, gnome-terminal, terminator, and alacritty do not. I only tested those.

We are using libvte for this, the same library used by GNOME Terminal, please open a bug report there: https://gitlab.gnome.org/GNOME/vte
Looks like there was discussion about this 2+ years ago: https://gitlab.gnome.org/GNOME/vte/-/issues/195
The state was that there wasn't adequate demand to devote resources to implementing it:
So, there are two levels to this story:
- Is there demand for double sized letters to make it worth it?
- Do we already have an even remotely usable standard for that?
In my firm opinion, the answer is "no" to both of these questions.
Looks like this isn't likely to happen anytime soon.