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

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

Possível duplicata Como altero as fontes e ajusto o tamanho delas?

— coversnail

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:

Instale a ferramenta gnome-tweak-tool :

sudo apt-get install gnome-tweak-tool

puxão

Nas fontes, você pode alterar a fonte em todo o sistema.

Para o gedit:

_{(fonte: iloveubuntu.net )}

Para terminal:

— abybaddi009
fonte

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

— slowko
fonte

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

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.

Licensed under cc by-sa 3.0 with attribution required.