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