为什么我的 gnome-terminal 的提示和输出中突然出现这种错误的字体?

为什么我的 gnome-terminal 的提示和输出中突然出现这种错误的字体?

我遇到了在提示和输出中某些字符的所有出现被替换的情况gnome-terminal(Ubuntu 14.04 中的 3.6.2),例如

gnome-terminal 的提示符

(拉丁字母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"

相关内容