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

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
источник