Change the font size of gnome-terminal (increase, decrease), but adjust the height and width of the terminal in the opposite direction to get a "block" window size

Question

I really like the scaling keys (control- + and control--) in Ubuntu 13.04 gnome-terminal, but when scaling, the terminal screen also gets wider (and vice versa when scaling)

Is there a way to keep the pixel dimensions of the window approximately constant, as well as scaling the font size and size (this means that the sizes and sizes of the internal elements of the terminals should decrease and grow accordingly)?

The target behavior is partially realized already if the window has reached the maximum screen size, which makes it a kind of "lock in place" and works as we would like it to work in cases where the window has not yet been maximized ....

When I remember, in older versions of Ubuntu I had this behavior already (but I'm not sure anymore).

Any ideas? Thanks for the help.

Answer 1

The console terminal ( http://konsole.kde.org ) from KDE has this feature.

I run GNOME 3.8.4, but use the console as my main terminal (for this reason actually).

Answer 2

I cannot tell you for sure, but since it is GNOME and, in addition, GNOME 3, it is unlikely that the terminal has such a built-in setting.

But on Linux, you can always improvise. How about the following.

• Find a program that can send keys to the X11 window. Maybe xdotool .
• Find a program that can control the geometry of your X11 windows. Maybe xdotool .
• Write a short script that finds the terminal window (perhaps only focused), sends it Ctrl-Plus / Ctrl-Minus, waits for a tiny bit, then sets its geometry to what you want (or it was originally, and you can also request using xdotool )
• Bind this script to the keyboard shortcut of your choice, say Win + Plus / Win + Minus. I don’t know how to do this in modern Ubuntu / GNOME 3, but for GNOME 2s Metacity GConf keys were used for custom shortcuts.