Я пытаюсь установить Roboto Mono в качестве шрифта на моем терминале bash в Linux Mint 19.1, но опция настройки шрифтов, Edit -> Preferences -> Custom Fontпохоже, не позволяет мне указать новый шрифт, который не установлен заранее.
Это связано с тем, что терминал не позволяет использовать шрифты .ttf в качестве пользовательских шрифтов, или есть обходной путь?
Спасибо!
решение1
Вероятно, дело не в том, предустановлен шрифт или нет.
Терминал GNOME предлагает вам только моноширинные шрифты на выбор в диалоговом окне «Настройки». Однако вы можете выбрать любой шрифт в dconf-editor. Перейдите к /org/gnome/terminal/legacy/profiles:, затем укажите идентификатор профиля, а затем установите его в font.
Похоже, требуется дальнейшее расследование, почему Roboto Mono не считается моноширинным шрифтом.