Podczas próby ustawienia domyślnej czcionki w terminalu. Interesują mnie dwie czcionki „monospace”: 1. Ubuntu Mono 2. Monospace. Znalazłem Ubuntu Mono w / usr / share / fonts, ale nigdzie nie mogłem znaleźć drugiej czcionki „Monospace”.
Gdzie mogę to znaleźć? Chciałbym ustawić go jako domyślną czcionkę również w innych systemach Linux.
David Seibert, szukam czcionki „Monospace” do dokładnie tego samego celu: łatania jej dla vim-powerline.
Petronilla słusznie twierdzi, że nie ma wyraźnej czcionki o nazwie „Monospace”, dlatego nie ma jej na liście czcionek zwróconych przez
Możesz grzebać w /etc/fonts/fonts.conf lub różnych konfiguracjach w /etc/fonts/conf.d/, ale bardzo trudno będzie ustalić, która czcionka jest dokładnie aliasowana do „Monospace”. Najłatwiej jest to zrobić
które na mojej maszynie Ubuntu 12.04 powraca
Więc teraz zagadka została rozwiązana :)
źródło
DejaVuSansMono.ttf: "DejaVu Sans Mono" "Book"
nie pamiętam, czy przyszedł z pakietem czcionek DejaVu Sans, czy został zmieniony za pomocą jakiegoś narzędzia. Mam nadzieję, że ktoś może rozwiązać dla nas tę tajemnicę!