Come cambiare il carattere del testo in Gnome Shell

Shell GNOME 3.23.2

Sebbene molti utilizzino Unity, è vero che gli utenti di Ubuntu Gnome sono parecchi. Sicuramente molti di voi hanno quel tema perfetto per Gnome Shell ma quello manca un dettaglio come un colore o un carattere di testo che vogliamo modificare. In questo caso spiegheremo come cambiare il carattere del testo di qualsiasi tema per Gnome Shell.

Prima di tutto, dobbiamo avere un software complementare che, insieme a Gedit, ci aiuti a modificare questa funzionalità. Quindi, prima dobbiamo andare a il sito web di Gnome Extensions e installa l'estensione del tema dell'utente o "Estensione del tema dell'utente". Una volta installato questo plugin per Gnome, dobbiamo abilitare la visualizzazione delle cartelle nascoste. Questo può essere fatto semplicemente premendo i tasti «Control + H» una volta aperto Nautilus.

Una volta che abbiamo questo dobbiamo trovare il file gnome-shell.css e modificalo come amministratore. Possiamo farlo prima tramite Nautilus, cercando da questo indirizzo / usr / share / themes. E una volta individuati la cartella e il file del tema che utilizziamo, possiamo aprire il terminale e scrivere quanto segue:

sudo gedit /usr/share/themes/"dirección del tema"/gnome-shell.css

Ora, una volta aperto il file, dobbiamo andare a l'ingresso del palco. Questa voce si riferisce al nucleo dell'argomento Gnome-Shell. Quindi, apparirà qualcosa di simile

stage {
font-family: Ubuntu;
font-size: 9pt;
color: #5c616b; }

Se vogliamo cambiare il carattere del testo, dobbiamo cambiare «Font-Family», se vogliamo cambiare il colore del carattere, dobbiamo cambiare «colore» e se vogliamo cambiare la dimensione, dobbiamo cambiare «dimensione del carattere».

In ogni caso, una volta apportate le modifiche, le salviamo e chiudiamo il file, quindi chiudiamo la sessione e la riapriamo in modo che le modifiche siano già state applicate.

Il processo è semplice come puoi vedere, ma devi stare attento a modificare solo quella voce e nient'altro perché possiamo rompere il tema di Gnome Shell e persino rendere momentaneamente inutilizzabile il desktop.


Lascia un tuo commento

L'indirizzo email non verrà pubblicato. I campi obbligatori sono contrassegnati con *

*

*

  1. Responsabile dei dati: Miguel Ángel Gatón
  2. Scopo dei dati: controllo SPAM, gestione commenti.
  3. Legittimazione: il tuo consenso
  4. Comunicazione dei dati: I dati non saranno oggetto di comunicazione a terzi se non per obbligo di legge.
  5. Archiviazione dati: database ospitato da Occentus Networks (UE)
  6. Diritti: in qualsiasi momento puoi limitare, recuperare ed eliminare le tue informazioni.