Como faço para alterar a fonte do terminal no Ubuntu MATE?

1

Como faço para alterar a fonte do terminal no Ubuntu MATE?

Parece que existem dois terminais no MATE. Um é "MATE Terminal", que tem uma boa fonte legível e outro é algo que é usado quando eu inicio aplicativo criado no menu GUI

Como eu mudo isso?

Captura de tela do terminal que eu quero alterar

    
por expert 01.09.2016 / 18:44

1 resposta

1

O que você está enfrentando é um bug no GLib, mantido pelos desenvolvedores do gnome. Eles codificaram um conjunto de emulador de terminais para tentar esses lançadores e, nessa lista, mate-terminal não está incluído. Mesmo konsole , xfce4-terminal também é excluído.

Aqui está o relatório de erros no link do github

Leia o resumo feito pela MoonSweep

  

Então, para resumir:

     

Ao contrário do que foi dito no início deste encadeamento, este não é um problema apenas do Mint, e isso não tem nada a ver com a variável TERM. Este é um bug conhecido do GLib que tem um conjunto de terminais codificados para tentar e iniciar, e vários deles estão faltando nesta lista (não apenas mate-terminal, mas xfce-terminal ou konsole, por exemplo, também estão faltando).

     

Sabendo como os caras do Gnome são alheios a qualquer coisa fora do Gnome, eu acho que não adianta pedir a eles que corrijam esse problema no GLib, é por isso que fiz um patch manipulando o mate-terminal e postei no Debian BTS, então Quando o pacote do mate-terminal começou a fornecer um wrapper compatível com o xterm, eu atualizei o patch para lidar com o emulador x-terminal (que é uma alternativa Debian para todos os emuladores de terminal compatíveis com xterm), permitindo assim que o GLib no Debian (e derivados) manipular não apenas o terminal de posicionamento, mas todos os terminais que podem ser definidos como esta alternativa.

O que você pode fazer?

Em Meu teste, vi que, se você tiver gnome-terminal instalado, ele tentará primeiro esse. Então, para evitar o feio xterm , você pode instalar o gnome-terminal , que é muito parecido com o mate-terminal e incluído no Ubuntu Unity padrão.

Para instalar, use este comando

sudo apt-get install gnome-terminal

Para mim, resolveu o problema. Tente. Espero que funcione para você também!

    
por Anwar 01.09.2016 / 20:45