Você já quis alterar a fonte do seu terminal, mas não quis passar por todo o processo de busca, download e instalação de uma fonte? Este aplicativo GTK adaptável e simples de usar permite pesquisar e instalar fontes diretamente do site do Google Fonts!