Comment 6 for bug 217167

Revision history for this message
Ralph Corderoy (ralph-inputplus) wrote : gnome-terminal is Always 80x24. No global or per-profile setting available.

Hi Sam, my `global' in the bug's title means `not per-profile for a
single user', not `for all gnome-terminals across all users', so
although that solution may work for you, I have other users on this
machine so it isn't suitable. And files under /usr/share aren't
intended to be edited by a user or admin. of the machine.

I think this bug is probably really two. The lack of configurability
over the terminal size, with per-profile settings, means I can't, for
example, quickly open a new log-file monitoring terminal, or a new IRC
client one. A user can match profiles to uses rather than just
appearance, e.g. a dark blue background is log-file monitoring with a
small font size but that needs a particular terminal size too.

The second issue is gnome-terminal's lack of compliance with the `ESC [
8' and `ESC [ 4' sequences. This is a hard, concrete bug; not a
`wishlist' item. I've opened a second bug for that, bug #258775, so
this bug can concentrate on the lack of per-profile setting.