Почему у меня внезапно появляется этот ошибочный шрифт в подсказке и выводе gnome-терминала?

Я испытываю замену всех вхождений определенных символов в приглашении и выводе команды gnome-terminal (3.6.2 в Ubuntu 14.04), например,

prompt of gnome-terminal

(латинский d заменен на некоторый верхний регистр D в показателе степени и некоторых других пикселях ниже).

reset и clear не помогают. Копирование вывода / приглашения возвращает последовательность символов без замен. Что может вызвать это?

5
задан 28 December 2016 в 21:58

2 ответа

Это может произойти после чтения от /dev/random или /dev/urandom с cat. Это, кажется, фиксируется в версии 3.20.2 gnome-terminal. В более старых версиях необходимо открыть новый терминал или попробовать решение @Meow ниже.

3
ответ дан 29 December 2016 в 07:58

попробуйте

gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "Ubuntu Mono derivative Powerline 11"
0
ответ дан 28 December 2016 в 21:58

Другие вопросы по тегам:

Похожие вопросы: