Take the 2-minute tour ×
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
1  
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

try 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

Your Answer

 
discard

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.