Я испытываю замену всех вхождений определенных символов в приглашении и выводе команды gnome-terminal
(3.6.2 в Ubuntu 14.04), например,
(латинский d
заменен на некоторый верхний регистр D в показателе степени и некоторых других пикселях ниже).
reset
и clear
не помогают. Копирование вывода / приглашения возвращает последовательность символов без замен. Что может вызвать это?
Это может произойти после чтения от /dev/random
или /dev/urandom
с cat
. Это, кажется, фиксируется в версии 3.20.2 gnome-terminal
. В более старых версиях необходимо открыть новый терминал или попробовать решение @Meow ниже.
попробуйте
gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "Ubuntu Mono derivative Powerline 11"