Мне нужен быстрый ярлык для изменения размера шрифта терминала. Я использую gnome-terminal
.
Я пробовал с Ctrl+ +и Ctrl+, -но размер не изменился.
Есть еще один ярлык? Могу ли я добавить ярлык, как это?
shortcut-keys
fonts
gnome-terminal
shortcuts
Ионика Бизэу
источник
источник
+
=shift
+=
Ответы:
Ctrl+ +и Ctrl+ -работают нормально для меня. Возможно, у вас настроены разные ярлыки.
Чтобы изменить сочетания клавиш, перейдите в меню «Правка» -> «Сочетания клавиш» ... в меню терминала gnome и найдите « Увеличение и уменьшение» :
источник
+
находится на=
клавиатуре, поэтому вам действительно нужно нажатьshift
и=
получить+
. Вероятно, поэтому вы должны использоватьctrl
+shift
++
(или на самом деле этоctrl
+shift
+=
). Если вам это не нравится, просто настройте некоторые другие сочетания клавиш, как описано выше. Например, если вы настроитеctrl
+=
для увеличения, вы сможете нажать клавиши, которые вы ожидали, в первую очередь, чтобы увеличить (безshift
).Попробуйте Shift Ctrl +увеличить
и Ctrl -для уменьшения размера шрифта.
Примечание: Shiftключ необходим в некоторых системах.
источник
Трюк, который работал для меня, должен был использовать
Ctrl
+Shift
+=
илиCtrl
+,-
но НЕ на цифровой клавиатуре.источник
Помните, что терминал ОЧЕНЬ буквален! Клавиша +, которую хочет терминал Ubuntu, находится в верхнем ряду и требует Shift, иначе это =.
источник