Znalazłem odpowiedź na moje pytanie! Najskuteczniejszym sposobem zmiany czcionki górnego paska jest zmiana rodzin czcionek w gnome-shell.css
pliku.
Aby to zrobić, najpierw użyj
sudo su
aby otworzyć terminal główny. Następnie użyj
nautilus --browser
aby otworzyć wersję root Nautilusa.
Następnie będziesz chciał przejść do /usr/share/themes/"THEME_NAME"/gnome-shell/gnome-shell.css/
. Otwórz plik i tam, gdzie jest napisane coś takiego
stage { font-size: 10pt; font-family: Roboto, Cantarell, Sans-Serif; font-weight: 400; color: #263238; }
zmień pierwszą czcionkę na nazwę swojej. Wynik powinien być podobny
stage { font-size: 10pt; font-family: Fira Sans, Cantarell, Sans-Serif; font-weight: 400; color: #263238; }
jeśli zmieniłeś czcionkę na Fira Sans.
Uruchom ponownie powłokę za pomocą Alt+, F2a następnie wpisz r
.
Dzięki temu motywy, które chcesz, mają czcionki, które chcesz zamiast zmieniać na Adwaita.
Uwaga: Aktualizacje motywów GTK mogą zepsuć tę konfigurację, więc odpowiedź pomsky'ego została oznaczona jako najlepsza.
nano
do edycji tekstu w wierszu poleceń lub biegusudo -H gedit
,sudo -H nautilus
itpW Ubuntu 19.10
gnome-shell.css
lokalizacja to:/usr/share/gnome-shell/theme/Yaru/gnome-shell.css
Edytuj
gnome-shell.css
jako administrator. Następnie wyszukajPo prostu dodaj żądaną nazwę rodziny czcionek. Na przykład:
Gotowy. Zapisz, wyloguj się i zaloguj ponownie.
źródło