Я хочу изменить font style
в terminal
и по умолчанию, gedit
а также. Так как изменить font type in Ubuntu 12.04
? Любая помощь и предложения будут заметны .
ubuntu-font-family
новый пользователь
источник
источник
Ответы:
Установите инструмент gnome-tweak-tool :
В шрифтах вы можете изменить системный шрифт.
Для Гедит:
(источник: iloveubuntu.net )
Для терминала:
источник
Не уверен насчет редактора, но для терминала просто измените шрифт для профиля по умолчанию из
Edit -> Profile
менюура
S
источник
Для терминала вы можете щелкнуть правой кнопкой мыши в окне контента (не в строке заголовка) и выбрать «Профили», затем «Настройки профиля». Затем вы получите тот же диалог, который показан в ответе 0x00F.
источник