Dlaczego Gnome Terminal nie wyświetla określonej czcionki jako dostępnej

Polecenia, których próbowałem:

sudo updatedb
sudo fc-cache -fv
sudo reboot

Mimo to nie byłem w stanie sprawić, aby czcionka Monofur była wyświetlana jako dostępna dla Gnome Terminal na maszynie z niedawno zainstalowanym Ubuntu 14.10. Jest dostępny we wszystkich innych aplikacjach.

Mam inną maszynę z 14.04, gdzie poszło dobrze.

Nie jestem pewien, czy jest to związane z problemem, gdy instalowałem czcionkę po raz pierwszy, a menedżer czcionek zaciął się podczas instalacji, że musiałem zrestartować komputer. Następnie usunąłem czcionkę z systemu i ponownie zainstalowałem ją bez problemów.

Jest w środku ~/.local/share/fonts.

fc-listwyświetla tę czcionkę. Uprawnienia do plików są OK.

AKTUALIZACJA

Aktualizacja do ostatniej wersji Ubuntu, problem zniknął.

14.10 fonts gnome-terminal

— pepper_chico
źródło

Zainstalowanie tej czcionki i wybranie jej jako domyślnej w gnome-terminal zadziałało dla mnie od razu, nawet bez żadnego z wymienionych poleceń. Jest również w moim .local/share/fontsfolderze.

— Jos

@Jos Być może coś poszło nie tak, gdy zainstalowałem go po raz pierwszy i musiałem wymusić ponowne uruchomienie. Ale próbowałem usunąć go z dowolnego możliwego miejsca przed ponowną instalacją, wciąż nic. Nie mogę go wybrać, ponieważ nie wyświetla się jako opcja.

— pepper_chico

Czy możesz używać Monofur w innych aplikacjach, np. LibreOffice lub GEdit?

— David Foerster,

@DavidFoerster tak.

— pepper_chico

@Fabby tak, i myślę, że nie ma to żadnego wpływu na to, że w końcu zostanie wyświetlony jako opcja. Gnome Terminal po prostu nie wymienia go z nieznanego powodu.

— pepper_chico

Odpowiedzi:

Po zainstalowaniu czcionki też mi się nie pokazała. Oto kroki, które podjąłem, aby to pokazać:

1) Przenieś czcionkę do katalogu / usr / share / fonts / truetype` :

Utwórz katalog /usr/share/fonts/truetype/Monofur/i przenieś pliki czcionek (w moim przypadku przeprowadziłem się tylko Monofur for Powerline.ttf) za pomocą menedżera plików lub mvpolecenia. Uwaga: do tego wszystkiego potrzebne będą uprawnienia sudo

2) Usuń wszystko z ~ / .gconf / apps / gnome-terminal /

Preferencje profilu są przechowywane w ~/.gconf/apps/gnome-terminal/katalogu. Zasadniczo tak zrobiłemsudo rm -r ~/.gconf/apps/gnome-terminal/

3) Zamknij i ponownie otwórz terminal gnome

Nie wymaga wyjaśnień.

Sugestie :

Dla pewności spróbuj to zrobić updatedbpo usunięciu wszystkiego lub po ponownym otwarciu terminala gnome; spróbuj ponownie uruchomić komputer, jeśli nadal nie działa

— Sergiy Kolodyazhnyy
źródło

Przepraszamy, ale to nie działało, nawet po ponownym uruchomieniu.

— pepper_chico

Przy okazji, jakie są uprawnienia do plików?

— Sergiy Kolodyazhnyy

Wszystkie -rw-r--r--(takie same jak w przypadku innych czcionek w innych katalogach). Nawiasem mówiąc, potrzebuję wszystkich 3 czcionek, więc skopiowałem je wszystkie.

— pepper_chico

Dziwne. Do tej pory nie mam innych pomysłów.

— Sergiy Kolodyazhnyy

Pomyślałem: co powiesz na próbę ponownej instalacji terminala gnome?

— Sergiy Kolodyazhnyy

Cokolwiek zrobiłem, nie mogłem wyświetlić czcionek. Dotarłem do momentu, w którym próbowałem zmienić losowe opcje, a kiedy wyłączyłem opcję „Zezwalaj na pogrubienie tekstu” i ponownie włączyłem wszystkie wyświetlane czcionki. Nie pytaj mnie dlaczego, ale to zadziałało dla mnie.

— Beer van der Drift
źródło

Dzięki! To w końcu działało dla mnie. Dziwne jednak!

— ankush981,

Niestety tej opcji brakuje w Ubuntu 18.04. Przełączałem go dconf-editorza pomocą tej odpowiedzi , ale nie rozwiązało to problemu.

— Alexander Nied