Изменение размера шрифта терминала gnome (увеличение, уменьшение), но, напротив, регулируйте высоту и ширину терминала для получения "блокировки" размеров окна

Question

Мне очень нравятся клавиши масштабирования (control-+ и control--) в gnome-терминале Ubuntu 13.04, но при увеличении экран терминала тоже становится шире (и наоборот при уменьшении)

Есть ли способ сохранить размеры пикселей окна примерно постоянными, при этом увеличивая и уменьшая размер шрифта (это означает, что размеры по высоте и ширине символов внутреннего терминала должны соответственно уменьшаться и увеличиваться)?

Целевое поведение уже частично реализовано, если окно достигло максимального размера экрана, чем "блокировка на месте" и работает так, как мне хотелось бы, чтобы оно работало в тех случаях, когда окно еще не развернуто...

Когда я вспоминаю, в старых версиях Ubuntu такое поведение уже было (но я больше не уверен).

Есть идеи? Спасибо за помощь.

Answer 1

Терминал Konsole ( http://konsole.kde.org/) от KDE имеет эту функцию.

Я использую GNOME 3.8.4, но использую konsole в качестве основного терминала (по этой причине на самом деле).

Answer 2

Я не могу вам точно сказать, но поскольку это GNOME и, более того, GNOME 3, маловероятно, что в Терминал встроена такая настройка.

Но в Linux вы всегда можете импровизировать. Как насчет следующего.

1. Найдите программу, которая может отправлять ключи в окно X11. Может быть xdotool,
2. Найдите программу, которая может управлять геометрией окна X11. Может быть xdotool,
3. Напишите короткий скрипт, который находит окно терминала (возможно, только сфокусированное), отправляет его Ctrl-Plus / Ctrl-Minus, ждет немного, затем устанавливает его геометрию в соответствии с тем, что вам нравится (или с тем, что было изначально, что Вы также можете запросить с xdotool).
4. Свяжите этот скрипт с сочетанием клавиш по вашему выбору, скажем, Win+Plus / Win+Minus. Не знаю, как это сделать в современной Ubuntu / GNOME 3, но в Metacity GNOME 2 использовались ключи GConf для пользовательских ярлыков.