我遇到了在提示和输出中某些字符的所有出现被替换的情况gnome-terminal
(Ubuntu 14.04 中的 3.6.2),例如
(拉丁字母d
在指数中被某种大写字母 D 和下面的一些其他像素所取代)。
reset
并且clear
没有帮助。复制输出/提示会返回没有替换的字符序列。这是什么原因造成的?
答案1
在使用/dev/random
或/dev/urandom
读取后可能会发生这种情况cat
。这似乎已在 3.20.2 版中修复gnome-terminal
。在旧版本中,需要打开一个新终端或尝试下面@Meow 的解决方案。
答案2
尝试
gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "Ubuntu Mono derivative Powerline 11"