Sign up ×
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It's 100% free.

I'm experiencing replacement of all occurances 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.

share|improve this question
Have you checked your .bashrc file? More specifically the $PS1 theme? – King Aug 1 '14 at 12:29

2 Answers 2

This can happen after reading from /dev/random or /dev/urandom with cat.

share|improve this answer


gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "Ubuntu Mono derivative Powerline 11"
share|improve this answer
It's not that easy to reproduce, I assume gnome-terminal has been immunized. – Karl Richter Jul 26 at 19:42
Can you please explain what this command does? – Whaaaaaat Sep 13 at 6:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.