Come posso cambiare il carattere della barra superiore senza cambiare il tema della shell?

12

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

— Justin15
fonte

20

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

Innanzitutto dovresti sapere dove si trova il tema di Adapta . Se è stato installato da un .debpacchetto o un PPA, dovrebbe trovarsi in /usr/share/themes/Adaptae dovrebbe esserci un gnome-shell.cssfile /usr/share/themes/Adapta/gnome-shell/.

Ora segui i passaggi seguenti.

Creare una directory, dire MyThemein ~/.themeso in ~/.local/share/themes. (È possibile creare ~/.themeso ~/.local/share/themesse non esistono.)
Crea un'altra directory all'interno MyThemechiamata gnome-shell.
Creare un documento vuoto in questa gnome-shelldirectory e denominarlo gnome-shell.css.
Apri questo gnome-shell.cssin un editor di testo e aggiungi le seguenti righe
```
@import url("/usr/share/themes/Adapta/gnome-shell/gnome-shell.css");  

stage {
    font-family: FONT_NAME, Sans-Serif;
    font-size: 14pt;
    color: #ffffff;
}
```
Passa FONT_NAMEa un carattere a tua scelta (puoi anche cambiare la dimensione e il colore del carattere) e salvare il file.
Apri GNOME Tweak Tools e attiva l' estensione dei temi utente . (Se l'estensione non è installata, è possibile installarla da qui .)
Vai alla sezione Aspetto di Tweak Tools e fai clic sulla casella a discesa accanto a " Tema Shell ". MyTheme dovrebbe apparire nell'elenco a discesa. Selezionalo
Riavvia la shell GNOME digitando alt+ f2quindi R+ enter(funziona in una sessione Xorg, nel logout di Wayland e accedi di nuovo).

— pomsky
fonte

2

Ho trovato la risposta alla mia domanda! Il modo più efficace per cambiare il carattere della barra superiore è cambiare le famiglie di caratteri nel gnome-shell.cssfile.

Per fare questo, primo utilizzo

sudo su

per aprire un terminale di root. Quindi utilizzare

nautilus --browser

per aprire una versione radice di Nautilus.

Dovrai quindi navigare /usr/share/themes/"THEME_NAME"/gnome-shell/gnome-shell.css/. Apri il file e dove dice qualcosa del genere

stage { font-size: 10pt; font-family: Roboto, Cantarell, Sans-Serif; font-weight: 400; color: #263238; }

cambia il primo carattere con il nome del tuo carattere. Il risultato dovrebbe essere qualcosa di simile

stage { font-size: 10pt; font-family: Fira Sans, Cantarell, Sans-Serif; font-weight: 400; color: #263238; }

se hai cambiato il carattere in Fira Sans.

Riavvia la shell usando Alt+ F2e quindi digita r.

In questo modo i temi desiderati hanno i caratteri desiderati anziché passare ad Adwaita.

Nota: gli aggiornamenti ai temi GTK possono rovinare questa configurazione, quindi la risposta di pomsky è stata contrassegnata come la migliore.

— Justin15
fonte

3

Ho apportato la modifica alla mia risposta per lavorare con il tema di Adapta. A proposito, non dovresti mai avviare un'applicazione grafica come Nautilus o gedit con sudo normale . In alternativa è possibile utilizzare nanoper modificare il testo nella riga di comando o eseguire sudo -H gedit, sudo -H nautilusecc.

— pomsky

1

In Ubuntu 19.10 la gnome-shell.cssposizione è:

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

Modifica gnome-shell.csscome amministratore. Quindi cerca

stage {
  font-family:

Basta aggiungere il nome della famiglia di caratteri desiderato. Per esempio:

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

Fatto. Salvarlo, disconnettersi e accedere nuovamente.

— FM Panda
fonte