Я хотел бы добавить/изменить пользовательский размер на терминале
Прямо сейчас у меня есть они:
Я хотел бы добавить свои собственные персональные размеры окна, как я могу сделать это?
Можно определить новый профиль и переключиться на определенный профиль для изменения размера окна. Edit -> Preferences -> Profiles
.
РЕДАКТИРОВАНИЕ: можно также попытаться использовать эти --geometry
флаг, видеть здесь . Additonally, смотрите на gconf-editor
, Вы могли бы найти способ настроить его в соответствии с "Приложениями".
Я только что обновился до Ubuntu 20.04, и меню изменения размера было перемещено в подменю, и я не могу понять, как активировать сочетания клавиш.
Теперь у меня есть следующие псевдонимы:
alias 132x24 'resize -s 24 132'
alias 132x43 'resize -s 43 132'
alias 80x24 'resize -s 24 80'
alias 80x43 'resize -s 43 80'
Впоследствии я переключился на рабочий стол Kubuntu, и gnome-terminal
работает как раньше.