Я нашел ответ на свой вопрос! Самый эффективный способ изменить шрифт верхней панели - это изменить семейства шрифтов в gnome-shell.css
файле.
Для этого сначала используйте
sudo su
открыть корневой терминал. Тогда используйте
nautilus --browser
открыть корневую версию Nautilus.
Затем вы захотите перейти к /usr/share/themes/"THEME_NAME"/gnome-shell/gnome-shell.css/
. Откройте файл и где он говорит что-то вроде
stage { font-size: 10pt; font-family: Roboto, Cantarell, Sans-Serif; font-weight: 400; color: #263238; }
измените первый шрифт на имя вашего шрифта. Результат должен быть примерно таким
stage { font-size: 10pt; font-family: Fira Sans, Cantarell, Sans-Serif; font-weight: 400; color: #263238; }
если вы изменили шрифт на Fira Sans.
Перезапустите оболочку, используя Alt+, F2а затем введите r
.
В результате вы получаете нужные шрифты, а не Adwaita.
Примечание. Обновления тем GTK могут испортить эту конфигурацию, поэтому ответ Помского был отмечен как лучший.
nano
для редактирования текста в командной строке или запускаsudo -H gedit
иsudo -H nautilus
т. Д.В Ubuntu 19.10
gnome-shell.css
расположение:/usr/share/gnome-shell/theme/Yaru/gnome-shell.css
Изменить
gnome-shell.css
как администратор. Тогда ищитеПросто добавьте желаемое имя семейства шрифтов. Например:
Выполнено. Сохраните его, выйдите и снова войдите в систему.
источник