Можно ли изменить шрифт терминала?

Я хотел бы изменить шрифт в терминале, как мне этого добиться?

54
задан 4 November 2013 в 11:08

4 ответа

Несмотря на то, что вы не упомянули, какой шрифт вы используете или какой терминал используете, я даю общий ответ на изменение шрифта в gnome-terminal.

Я даю два способа сделать это, хотя оба относительно близки друг к другу.

Официально

  • Откройте терминал нажатием CTRL + ATL + T .
  • Затем перейдите от MenuEditProfiles. В окне редактирования профиля нажмите кнопку Edit.
  • Затем на вкладке General снимите флажок Use the system fixed width font и выберите нужный шрифт из выпадающего меню

Более простым способом

  • Откройте терминал с нажатием CTRL + ATL + T .
  • Щелкните правой кнопкой мыши на терминале, в появившемся всплывающем меню перейдите к ProfilesProfile Preferences
  • Затем на вкладке General снимите флажок Use the system fixed width font и выберите нужный шрифт из выпадающее меню.

Я даю два снимка экрана ниже:

image of popup menu

image of Edit profile window

0
ответ дан 4 November 2013 в 11:08

Bash терминал:

Меню, Редактировать => Настройки профиля => Общие вкладка; снимите флажок Используйте системный шрифт фиксированной ширины и выберите нужный шрифт.

Для обычного терминала xterm вам нужно создать файл ~/.Xresources и добавить в него настройки, такие как xterm*font: Sublime\ Text\ 2-12 для 12 пунктов (это предположение, я не знаю, полностью ли это правильно).

0
ответ дан 4 November 2013 в 11:08

Для Ubuntu 17.04 с GNOME Terminal 3.20.2 параметры немного отличаются. В меню выберите «Правка» -> «Настройки профиля» -> вкладка «Общие». В Text Appearance section выберите опцию Custom font, щелкните по выбранному шрифту, а затем уменьшите номер размера шрифта в нижней части нового окна.

0
ответ дан 4 November 2013 в 11:08

если Вы имеете в виду терминал сервера, то есть, никакую оконную систему, просто консоль, мне нравится этот ответ :

setfont /usr/share/consolefonts/UbuntuMono-R-8x16.psf

это - пример; Вы видите список доступных шрифтов как это:

ls /usr/share/consolefonts

и если у Вас по некоторым причинам не есть они, можно установить их как это:

sudo apt-get install fonts-ubuntu-font-family-console

примечание, что Вы, возможно, должны поместить команду setfont в свой .profile или .bashrc, как это, возможно, должно быть выполнено после каждого входа в систему

0
ответ дан 21 October 2019 в 19:19

Другие вопросы по тегам:

Похожие вопросы: