Iako mnogi koriste Unity, istina je da je korisnika Ubuntu Gnomea poprilično malo. Sigurno mnogi od vas imaju onu savršenu temu za Gnome Shell, ali to nedostaje detalj poput boje ili fonta teksta koji želimo promijeniti. U ovom ćemo slučaju objasniti kako promijeniti font teksta bilo koje teme za Gnome Shell.
Prije svega, moramo imati komplementarni softver koji nam, zajedno s Geditom, pomaže u uređivanju ove značajke. Dakle, prvo moramo otići do web stranicu Gnome Extensions i instalirajte proširenje User Theme ili "User Theme Extension". Nakon što instaliramo ovaj dodatak za Gnome, moramo omogućiti prikaz skrivenih mapa. To se može učiniti jednostavnim pritiskom tipki «Control + H» nakon što otvorimo Nautilus.
Jednom kad imamo ovo moramo pronaći datoteku gnome-shell.css i uredite ga kao administrator. To možemo učiniti prvo putem Nautilusa, tražeći s ove adrese / usr / share / themes. A nakon što se pronađu mapa i datoteka teme koju koristimo, možemo otvoriti terminal i napisati sljedeće:
sudo gedit /usr/share/themes/"dirección del tema"/gnome-shell.css
Sada, nakon što je datoteka otvorena, moramo ići na ulaz na pozornicu. Ovaj se unos odnosi na srž teme Gnome-Shell. Tako će se pojaviti ovako nešto
stage {
font-family: Ubuntu;
font-size: 9pt;
color: #5c616b; }
Ako želimo promijeniti font teksta, moramo promijeniti «Obitelj fontova», ako želimo promijeniti boju fonta, moramo promijeniti «boju», a ako želimo promijeniti veličinu, moramo promijeniti «veličinu fonta».
U svakom slučaju, nakon što izvršimo promjene, spremimo ih i zatvorimo datoteku, zatim zatvorimo sesiju i ponovno je otvorimo, tako da će promjene već biti primijenjene.
Postupak je jednostavan, kao što vidite, ali morate biti oprezni samo s modificiranjem tog unosa i ničim drugim jer možemo razbiti temu Gnome Shell, pa čak i trenutno radnu površinu čine beskorisnom.