Você pode adicionar arquivos de fontes adicionais em / usr / share / fonts.
Normalmente, posso alterar a fonte do terminal por Edit->Preference->General e escolher uma fonte.
Mas meu problema é que as fontes disponíveis no Preference->General são muito limitadas, a fonte que eu gosto não está nelas.
Então, como posso adicionar minha fonte favorita às disponíveis no Fedora?
Você pode adicionar arquivos de fontes adicionais em / usr / share / fonts.