Home / ubuntu / Questions / 501559
Accepted
Kalle Richter
Asked: 2014-07-24 05:17:22 +0800 CST

Why do I suddenly have this erroneous font in prompt and output of gnome-terminal?

  • 772

I'm experiencing replacement of all occurrences of certain characters in the prompt and output of gnome-terminal (3.6.2 in Ubuntu 14.04), e.g.

prompt of gnome-terminal

(latin d is replaced with some kind of uppercase D in exponent and some other pixels below).

reset and clear don't help. Copying the output/prompt returns the character sequence without replacements. What could cause this?

command-line

2 Answers

  1. Best Answer

    This can happen after reading from /dev/random or /dev/urandom with cat. This seems to be fixed in version 3.20.2 of gnome-terminal. In older versions it's necessary to open a new terminal or try @Meow's solution below.

    • 3

  2. try

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