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:
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.
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:
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
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
Tags ubuntu-font-family