Увеличьте размер шрифта терминала в ситуации без GUI
Я использую файл докера, который создает среду для робототехники. Это работает отлично. Я присоединил снимок экрана. 
Поскольку Вы видите, что это имеет окно терминала и несколько других инструментов, но это, кажется, не имеет нормальную среду рабочего стола, по крайней мере, я не распознаю его. Который меня устраивает. Я не буду использовать его в том режиме. Но несколько раз я действительно использую его, шрифт в окне терминала является слишком мелким, и ни за что в жизни я не могу выяснить, как сделать это.
Что я выполняю сюда? Как я сделал бы что-то как создание больше шрифта?Спасибо!
2 ответа
Шрифты Freetype
Вы можете не только использовать растровые шрифты, но также часто есть более приятные шрифты «freetype» в xterm
xterm -fa default -fs 13
. Итак, если вы поместите сценарий оболочки с аналогичным содержимым в указанную выше командную строку в PATH перед исполняемым файлом / usr / bin / xterm , например в / usr / local / bin , мы можем надеяться, что ваш инструмент подберет его и предоставит лучший шрифт и размер.
От man xterm :
-fa pattern
This option sets the pattern for fonts selected from the
FreeType library if support for that library was compiled into
xterm. This corresponds to the faceName resource. When a CJK
double-width font is specified, you also need to turn on the
cjkWidth resource.
-fs size
This option sets the pointsize for fonts selected from the
FreeType library if support for that library was compiled into
xterm. This corresponds to the faceSize resource.
В противном случае вы могли бы использовать ресурсы faceName и faceSize . (Я никогда этого не делал. Вы можете попробовать, следуя совету в принятом ответе на этот вопрос AskUbuntu .)
Изменить: как выбрать шрифт и размер в интерактивном режиме
Так что нет возможности измените шрифт xterm после его запуска, у вас есть делать это при запуске? Я делаю это в образе докера, так что это немного запутанный, чтобы создать этот скрипт для перехвата команды xterm это предлагается, когда я нажимаю на «рабочий стол».
Это вообще настраивается?
Да, вы можете изменять шрифт и размер в интерактивном режиме:
- Поместите курсор в основную область окна
xterm. - Нажмите ctrl и щелкните правой кнопкой мыши , чтобы открыть всплывающее окно.
- Переместите курсор, чтобы выбрать «freetype» или, если установлен, «truetype»
- Переместите курсор для выбора желаемого размера
Вы увидите галочки возле выбранных опций.
Я распознаю xterm значок на тех окнах. Существует меню, которое, вероятно, предлагает несколько более растровых шрифтов в больших размерах, но это не является легко поддающимся обнаружению:
- Щелчок правой кнопкой Ctrl + в терминале, удержание кнопки мыши для хранения меню открытым
Вы могли бы также интересоваться: