Por que de repente eu tenho essa fonte incorreta no prompt e na saída do gnome-terminal?

Question

Estou experimentando a substituição de todas as ocorrências de determinados caracteres no prompt e na saída de gnome-terminal (3.6.2 no Ubuntu 14.04), por exemplo,

(latin d é substituído por algum tipo de letra maiúscula D no expoente e alguns outros pixels abaixo).

reset e clear não ajudam. Copiar a saída / prompt retorna a seqüência de caracteres sem substituições. O que poderia causar isso?

    

Answer 1

Isso pode acontecer depois da leitura de /dev/random ou /dev/urandom com cat . Isso parece ser corrigido na versão 3.20.2 de gnome-terminal . Em versões mais antigas, é necessário abrir um novo terminal ou tentar a solução do @Meow abaixo.

    

Answer 2

tente

gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "Ubuntu Mono derivative Powerline 11"