This is on a standard Ubuntu 7.10, gnome-terminal 2.18.2-0ubuntu1.
As you can't cut and paste those echo(1)s above, here's some printf(1)
equivalents.
$ printf '\x1b[8;40;100t'
$ printf '\x1b[4;200;200t'
--
gnome-terminal is Always 80x24. No global or per-profile setting available.
https://bugs.launchpad.net/bugs/217167
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
