Selv om mange bruker Unity, er det sant at Ubuntu Gnome-brukere er ganske mange. Sikkert mange av dere har det perfekte temaet for Gnome Shell, men det det mangler en detalj som en farge eller en tekstfont som vi vil endre. I dette tilfellet skal vi forklare hvordan du endrer tekstfonten til hvilket som helst tema for Gnome Shell.
Først og fremst må vi ha komplementær programvare som sammen med Gedit hjelper oss med å redigere denne funksjonen. Så først må vi gå til nettstedet til Gnome Extensions og installer utvidelsen User Theme eller "User Theme Extension". Når vi har installert dette pluginet for Gnome, må vi aktivere visning av skjulte mapper. Dette kan gjøres ganske enkelt ved å trykke på «Control + H» -tastene når vi har Nautilus åpen.
Når vi har fått dette vi må finne filen gnome-shell.css og redigere den som administrator. Vi kan gjøre dette først gjennom Nautilus, på jakt etter fra denne adressen / usr / del / temaer. Og når mappen og filen med temaet vi bruker er lokalisert, kan vi åpne terminalen og skrive følgende:
sudo gedit /usr/share/themes/"dirección del tema"/gnome-shell.css
Nå, når filen er åpen, må vi gå til sceneinngangen. Denne oppføringen refererer til kjernen i Gnome-Shell-emnet. Dermed vil noe slikt dukke opp
stage {
font-family: Ubuntu;
font-size: 9pt;
color: #5c616b; }
Hvis vi vil endre skrifttypen, vi må endre «Font-Family»Hvis vi vil endre fargen på skrift, må vi endre «farge» og hvis vi vil endre størrelsen, må vi endre «skriftstørrelse».
I alle fall, når vi har gjort endringene, lagrer vi dem og lukker filen, så lukker vi økten og åpner den på nytt slik at endringene allerede har blitt brukt.
Prosessen er enkel som du kan se, men du må være forsiktig med å bare endre denne oppføringen og ingenting annet fordi vi kan bryte Gnome Shell-temaet og til og med øyeblikkelig gjøre skrivebordet ubrukelig.