Как правило, я могу изменить шрифт терминала через Edit->Preference->General и выбрать шрифт.
Но моя проблема в том, что шрифты, доступные в Preference->General , слишком ограничены, шрифт, который мне нравится, отсутствует в них.
Итак, как я могу добавить свой любимый шрифт к доступным в Fedora?