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

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

Источник

2 ответа

Решение

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

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

Теперь следуйте инструкциям ниже.

  1. Создайте каталог, скажем MyTheme либо в ~/.themes или в ~/.local/share/themes, (Вы можете создать ~/.themes или же ~/.local/share/themes если они не существуют.)
  2. Создайте еще один каталог внутри MyTheme называется gnome-shell,
  3. Создайте пустой документ в этом gnome-shell каталог и назовите его gnome-shell.css,

  4. Откройте это 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 на выбранный вами шрифт (также вы можете изменить размер и цвет шрифта) и сохраните файл.

  5. Откройте GNOME Tweak Tools и активируйте расширение тем пользователя. (Если расширение не установлено, вы можете установить его отсюда.)

  6. Перейдите в раздел " Внешний вид " Tweak Tools и щелкните раскрывающийся список рядом с "Тема оболочки". MyTheme должен появиться в раскрывающемся списке. Выберите это.

  7. Перезапустите оболочку GNOME, набрав alt+f2, затем R+enter (работает в сеансе Xorg, при выходе из Wayland и повторной регистрации).

Источник

Я нашел ответ на свой вопрос! Самый эффективный способ изменить шрифт верхней панели - это изменить семейства шрифтов в 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 могут испортить эту конфигурацию, поэтому ответ Помского был помечен как лучший.

Источник

В 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; }

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

Источник

Отвечая на мой собственный вопрос здесь, изменение файлов gnome-shell.css больше не требуется благодаря изменениям, предоставленным GNOME 3.36. При обычном изменении шрифта интерфейса шрифт теперь изменяется глобально. (все, включая меню GNOME, строку состояния и т. д.)

Источник
Другие вопросы по тегам