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

53

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

command-line fonts Fawkes5
источник
2
Какой терминал? Sublime text 2 установлен в вашей системе?
Марти Фрид
2
и какой шрифт? -
Anwar
Возвышенный текст 2 установлен. Шрифт, который меня интересует, является стандартным шрифтом, с которым устанавливается. Не могу найти его название
Fawkes5
1
См. Также Как называется шрифт консоли Debian / Ubuntu по умолчанию (TTY) по умолчанию? и 7 лучших шрифтов Ubuntu Terminal (с фиксированной шириной)
Hans Ginzel

Ответы:

46

Bash терминал:

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

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

Марти Фрид
источник
Мой gnome-терминал падает, когда я снимаю флажок «использовать системный шрифт фиксированной ширины». Есть ли способ изменить или очистить этот параметр, не проходя через этот графический интерфейс?
Джонатан Хартли
В Ubuntu 18.04 или Ubuntu 18.04 нет меню «Редактировать». Возможно, обновить свой ответ, чтобы также охватить более новые версии Ubuntu?
Питер Мортенсен
Или, по крайней мере, пометьте его, например, «От Ubuntu 9 до Ubuntu 16.04:» или аналогичный (в этом примере я составил диапазон версий).
Питер Мортенсен
30

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

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

Формальный путь

  • Откройте терминал нажатием Ctrl+ Alt+ T.
  • Затем перейдите из меню Edit → Profiles . В окне редактирования профиля нажмите на Editкнопку.
  • Затем на вкладке Общие снимите флажок Использовать системный шрифт фиксированной ширины , а затем выберите нужный шрифт в раскрывающемся меню.

Более простой способ

  • Откройте терминал нажатием Ctrl+ Alt+ T.
  • Щелкните правой кнопкой мыши на терминале, в появившемся всплывающем меню выберите « Профили» → « Настройки профиля».
  • Затем на вкладке « Общие» снимите флажок « Использовать системный шрифт фиксированной ширины» , а затем выберите нужный шрифт в раскрывающемся меню.

Я даю два скриншота ниже:

Изображение всплывающего меню

Изображение окна профиля «Редактировать»

Анвар
источник
1
Ого, я не знал, что это было так легко. БЛАГОДАРЮ ВАС!!!
Fawkes5
Насколько я вижу, «Профили» находятся в «Настройках» в Ubuntu 18.04 или Ubuntu 18.04. Возможно, обновить свой ответ, чтобы также охватить более новые версии Ubuntu?
Питер Мортенсен
1

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

patrickvacek
источник
Да, я использую темную тему и низкую яркость, поэтому флажок почти не виден
qwr
0

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

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

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

ls /usr/share/consolefonts

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

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

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

jmarina
источник