Як я можу змінити шрифт верхньої панелі, не змінюючи тему оболонки?

Я використовую Ubuntu GNOME 17.04. Я хочу змінити шрифт верхньої панелі GNOME з шрифту за замовчуванням Adapta на Fira Sans. У мене вже є всі шрифти, я просто хочу змінити шрифт верхньої панелі, щоб він не виглядав поза місцем порівняно з усім іншим.

Ви можете створити спеціальний css override у своєму домашньому каталозі та завантажити його звідти (інакше, якщо ви внесете якісь зміни в таблицю стилів теми, будь-яке оновлення теми, швидше за все, замінить її).

Спочатку слід знати, де знаходиться тема 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 та активуйте розширення Теми користувача . (Якщо розширення не встановлено, ви можете встановити його звідси .)

6. Перейдіть у розділ Зовнішній вигляд інструментів "Налаштування" та натисніть спадне поле поруч із " Тема оболонки ". 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 може зіпсувати цю конфігурацію, тому відповідь pomsky була позначена як найкраща.

В Ubuntu 19.10gnome-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; }

Зроблено. Збережіть його та вийдіть із системи та увійдіть знову.