Como altero a fonte padrão para o terminal e o gedit?

9

Eu quero mudar o font styleem terminale para o padrão geditcomo well.So como alterar a font type in Ubuntu 12.04? Qualquer ajuda e sugestões serão apreciável.

ubuntu-font-family novo usuário
fonte
1
Possível duplicata Como altero as fontes e ajusto o tamanho delas?
coversnail
1
Não é uma duplicata total. Embora a alteração das fontes do sistema seja abordada no link, a alteração das fontes no terminal e no gedit não é.
amc

Respostas:

0

Não tenho certeza sobre o editor, mas para o terminal, basta alterar a fonte do perfil padrão no diretório

Edit -> Profile cardápio

Felicidades

S

slowko
fonte
0

Para o terminal, você pode clicar com o botão direito do mouse na janela de conteúdo (não na barra de título) e escolher 'Perfis', depois 'Preferências de perfil'. Você então obtém a mesma caixa de diálogo mostrada na resposta de 0x00F

Xavier Nodet
fonte