Как я могу навсегда изменить размер текста для gnome-терминала?

14

Я просто хотел спросить ...

Кажется, вам нужно нажать Ctrl+ -(Ctrl + знак минус), чтобы получить лучшее разрешение (меньший текст) при работе терминала.

Но мне было интересно, есть ли способ сохранить настройки таким образом, чтобы при запуске терминала он уже работал с более высоким разрешением?

11.04 command-line gnome-terminal

— Темный тамплиер
источник

18

Вы можете вручную установить размер текста в терминале с помощью:

открытие терминала
Редактировать -> Настройки профиля
выберите пользовательский шрифт (или снимите флажок Использовать системный шрифт фиксированной ширины в старых версиях)
Выберите свой шрифт и размер

Вы также можете выбрать размер терминала, выбрав Использовать нестандартный размер терминала по умолчанию и задав количество строк и столбцов.

— danjjl
источник

Это именно то, что я делаю, чтобы получить это навсегда.

— Луис Альварадо

1

Я не вижу опцию « Использовать системный шрифт фиксированной ширины » в 16.04?

— rudolph9

@ rudolph9 отредактировал ответ, чтобы сказать «Выбрать пользовательский шрифт», так как это то, что он говорит в моей версии (а не «использовать системный фиксированный шрифт wdth»)

— EoghanM

4

Вы можете попытаться вызвать gnome-terminalс параметром --zoom, например:

gnome-terminal --zoom=0.8 чтобы уменьшить 20% (80% от исходного размера)

Ограниченная документация для этого параметра найдена при запуске

gnome-terminal --help-all

Вы можете немного поиграть с разными размерами зума, чтобы найти подходящий, а затем соответствующим образом отредактировать ваши ярлыки.

— Павлос Г.
источник