Como eu mudo a fonte padrão para o terminal e o gedit?

9

Eu quero alterar o font style em terminal e também o gedit padrão.Assim, como alterar font type in Ubuntu 12.04 ? Qualquer ajuda e sugestões serão significativas.

    
por newuser 04.05.2012 / 16:26

3 respostas

9

Instale a ferramenta gnome-tweak :

sudo apt-get install gnome-tweak-tool

Nas fontes, você pode alterar a fonte do sistema.

Para o gedit:

gedit http://iloveubuntu.net/pictures_me/gedit%20font%2013%20mono.png

Para o terminal:

    
por abybaddi009 04.05.2012 / 16:51
0

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

Edit -> Profile menu

Felicidades

S

    
por siloko 04.05.2012 / 16:39
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" e "Preferências de perfil". Você então obtém o mesmo diálogo mostrado na resposta do 0x00F

    
por Xavier Nodet 08.07.2013 / 14:46