Моя ОС — Ubuntu 18.04 с Unity UI. Я хочу изменить размер шрифта терминала, нажав ( Ctrl+ +) и ( Ctrl+ -). Поэтому я установил сочетания клавиш в настройках терминала, и это работает:
Но размер окна терминала также увеличивается/уменьшается, поэтому если я создаю текст меньше, терминал становится меньше, и мне приходится изменять его размер вручную. Если я прикрепляю терминал с опцией разделения экрана (перетаскивая его влево или вправо), он не меняет размер. Но это означает, что каждый раз мне нужно прикреплять его с опцией разделения экрана, и я хочу лучшее решение.
решение1
Но размер окна терминала также увеличивается/уменьшается
В случае терминала GNOME это предполагаемое поведение.
При стыковке и разделении экрана есть внешняя «сила», которая сохраняет размер окна (в пикселях) неизменным. Эта «сила» переопределяет запрос GNOME Terminal на предпочтительные размеры окна (чтобы вместить целые ячейки символов), поэтому обычно вы получаете дополнительное неиспользуемое пространство справа и снизу.
В «обычных» (не закрепленных, не развернутых и т. д.) окнах такой внешней «силы» нет, поэтому либо размер окна все равно немного изменится (чтобы всегда вмещать целые ячейки, независимо от текущего размера шрифта), либо у вас больше не будет подсказок по изменению размера, и вы получите непрерывное изменение размера, как это делают некоторые другие эмуляторы терминала, такие как konsole.
Ни одно из этих решений не идеально, у каждого есть свои плюсы и минусы. Разработчики GNOME Terminal решили сохранить размер окна, измеренный в символьных ячейках, то есть параметр масштабирования не влияет на приложение, работающее внутри (если только некая «внешняя сила» не вынуждает изменить размер).