Jak změnit písmo na horní liště, aniž byste změnili téma Shell?

Používám Ubuntu GNOME 17.04. Chci změnit písmo horní lišty GNOME z výchozího písma od Adapta na Fira Sans. Všechna písma už mám, jen chci změnit písmo horní lišty, aby nevypadalo nepatřičně ve srovnání se vším ostatním.

Přijatá odpověď:

Můžete si vytvořit vlastní přepsání css ve svém domovském adresáři a načíst jej odtud (jinak, pokud provedete jakoukoli změnu v šabloně stylů motivu, jakákoli aktualizace motivu jej velmi pravděpodobně přepíše).

Nejprve byste měli vědět, kde je Adapta téma se nachází. Pokud jste jej nainstalovali z .deb balíček nebo PPA, měl by být umístěn na /usr/share/themes/Adapta a měl by tam být gnome-shell.css soubor v /usr/share/themes/Adapta/gnome-shell/ .

Nyní postupujte podle níže uvedených kroků.

1. Vytvořte adresář, řekněte MyTheme buď v ~/.themes nebo v ~/.local/share/themes . (Můžete vytvořit ~/.themes nebo ~/.local/share/themes pokud neexistují.)

2. Vytvořte další adresář v MyTheme s názvem gnome-shell .

3. Vytvořte prázdný dokument v tomto gnome-shell adresář a pojmenujte jej gnome-shell.css .

4. Otevřete tento gnome-shell.css v textovém editoru a přidejte následující řádky

   @import url("//eadn-wc01-5196795.nxedge.io/usr/share/themes/Adapta/gnome-shell/gnome-shell.css");  
   
   stage {
       font-family: FONT_NAME, Sans-Serif;
       font-size: 14pt;
   }
   

Změňte FONT_NAME na písmo dle vašeho výběru (také můžete změnit velikost písma) a soubor uložit.

5. Otevřete GNOME Tweak Tools a aktivujte Uživatelské motivy rozšíření.
   (Pokud rozšíření není nainstalováno, můžete jej nainstalovat odtud.)

6. Přejděte na Vzhled části Tweak Tools a klikněte na rozevírací pole vedle „Motiv Shell “. Můj motiv by se měl objevit v rozevíracím seznamu. Vyberte jej.

7. Restartujte prostředí GNOME zadáním alt +f2 pak R +zadejte (funguje v relaci Xorg, při odhlášení a opětovném přihlášení Wayland).