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
Desktop Bugs, which is subscribed to gnome-terminal in ubuntu.
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
