Как я могу изменить шрифт главной панели, не изменяя тему оболочки?

Question 1

Я использую Ubuntu GNOME 17.04. Я хочу изменить шрифт панели вершины GNOME от стандартного шрифта Adapta к Fira Без. У меня уже есть все шрифты, я просто хочу изменить шрифт главной панели, таким образом, это не выглядит неуместным по сравнению со всем остальным.

Question 2

Можно создать пользовательское переопределение CSS в корневом каталоге и загрузить его оттуда (иначе при внесении какого-либо изменения в таблице стилей темы любое обновление темы по всей вероятности перезапишет его).

Сначала необходимо знать, где тема Adapta расположена. Если Вы установили его от a .deb пакет или PPA это должно быть расположено в /usr/share/themes/Adapta и должен быть a gnome-shell.css файл в /usr/share/themes/Adapta/gnome-shell/.

Теперь выполните шаги ниже.

Создайте каталог, скажите MyTheme любой в ~/.themes или в ~/.local/share/themes. (Можно создать ~/.themes или ~/.local/share/themes если они не существуют.)
Создайте другой каталог внутри MyTheme названный gnome-shell.
Создайте пустой документ в этом gnome-shell каталог и имя это gnome-shell.css.
Откройте это gnome-shell.css в текстовом редакторе и добавляют следующие строки
```
@import url("/usr/share/themes/Adapta/gnome-shell/gnome-shell.css");  

stage {
    font-family: FONT_NAME, Sans-Serif;
    font-size: 14pt;
    color: #ffffff;
}
```
Изменение FONT_NAME к шрифту по Вашему выбору (также можно изменить размер шрифта и цвет) и сохранили файл.
Откройте GNOME Tweak Tools и активируйте Пользовательское расширение тем. (Если расширение не установлено, можно установить его отсюда.)
Перейдите к разделу Appearance Инструментов Тонкой настройки и нажмите на выпадающее поле рядом с "темой Shell". MyTheme должен появиться в выпадающем списке. Выберите его.
Перезапустите оболочку GNOME путем ввода alt+f2 затем R+enter (работы на сессии Xorg, в выходе из системы Уэйленда и войдите в систему снова).

Question 3

Question 4

В Ubuntu 19.10 gnome-shell.css местоположение:

/usr/share/gnome-shell/theme/Yaru/gnome-shell.css

Редактирование gnome-shell.css как администратор. Затем поиск

stage {
  font-family:

Просто добавляет Ваше желаемое имя семейства шрифтов. Например:

stage {
  font-family: Fira Sans, Cantarell, Sans-Serif;
  font-size: 10pt;
  color: #3D3D3D; }

Сделанный. Сохраните его и выход из системы и вход в систему снова.

Question 5

Я нашел ответ на свой вопрос! Самый эффективный способ изменить шрифт главной панели состоит в том, чтобы изменить семейства шрифтов в gnome-shell.css файл.

Чтобы сделать это, сначала используйте

sudo su

открыть корневой терминал. Затем используйте

nautilus --browser

открыть корневую версию Наутилуса.

Вы затем захотите перейти к /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 Без.

Перезапустите оболочку с помощью Alt+F2 и затем введите r.

Выполнение этого делает темы, которые Вы хотите, имеют шрифты, которые Вы хотите вместо того, чтобы измениться на Adwaita.

Примечание: Обновления Тем GTK могут испортить эту конфигурацию, таким образом, ответ pomsky был отмечен как лучшее.

pomsky · Accepted Answer · 23 November 2019 в 03:33