Come modificare il carattere della barra superiore senza modificare il tema della shell?

Sto usando Ubuntu GNOME 17.04. Voglio cambiare il carattere della barra in alto di GNOME dal carattere predefinito di Adapta a Fira Sans. Ho già tutti i caratteri, voglio solo cambiare il carattere della barra in alto in modo che non sembri fuori posto rispetto a tutto il resto.

Risposta accettata:

Puoi creare un CSS personalizzato nella tua home directory e caricarlo da lì (altrimenti, se apporti modifiche al foglio di stile del tema, qualsiasi aggiornamento del tema molto probabilmente lo sovrascriverà).

Per prima cosa dovresti sapere dove si trova Adapta si trova il tema. Se l'hai installato da un .deb pacchetto o un PPA dovrebbe trovarsi in /usr/share/themes/Adapta e dovrebbe esserci un gnome-shell.css file in /usr/share/themes/Adapta/gnome-shell/ .

Ora segui i passaggi seguenti.

1. Crea una directory, ad esempio MyTheme sia in ~/.themes o in ~/.local/share/themes . (Puoi creare ~/.themes o ~/.local/share/themes se non esistono.)

2. Crea un'altra directory all'interno di MyTheme chiamato gnome-shell .

3. Crea un documento vuoto in questo gnome-shell directory e denominalo gnome-shell.css .

4. Apri questo gnome-shell.css in un editor di testo e aggiungi le seguenti righe

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

Cambia FONT_NAME in un font a tua scelta (puoi anche cambiare la dimensione del font) e salvare il file.

1. Apri Strumenti di modifica di GNOME e attiva i Temi utente estensione.
   (Se l'estensione non è installata, puoi installarla da qui.)

2. Vai a Aspetto sezione di Strumenti di modifica e fai clic sulla casella a discesa accanto a "Tema della shell “. Il mio tema dovrebbe apparire nell'elenco a discesa. Selezionalo.

3. Riavvia la shell di GNOME digitando alt +f2 quindi R +invio (funziona in una sessione Xorg, in Wayland esci e accedi di nuovo).