Ik gebruik op dit moment GNOME Shell als mijn standaard Linux-desktop op Ubuntu, en tot nu toe geniet ik er echt van - op één ding na.
Het belangrijkste GNOME Shell UI-lettertype kan niet direct worden gewijzigd.
Met GNOME Tweak Tool kun je de lettertypefamilie en lettergrootte voor app-vensters, interface en in de terminal wijzigen, maar deze wijzigingen niet verander het lettertype dat wordt gebruikt in de GNOME-bovenbalk, meldingen, extensiemenu's, de vervolgkeuzelijst voor datum/tijd, de overlay Dash/Activiteiten en elders.
Even googlen leverde een oplossing op in de reacties op een blog vanaf 2013. Ja, dit lijkt een al lang bestaand probleem!
Het goede nieuws is dat u niet steeds een niet-overeenkomende desktop hoeft te gebruiken. U kunt het GNOME Shell-lettertype wijzigen dat wordt gebruikt in de GNOME Shell-bovenbalk en andere UI-elementen.
Hoe? Door een .css-bestand te bewerken.
Je zou alles moeten hebben wat je nodig hebt om het lettertype van de GNOME-bovenbalk te wijzigen, namelijk een teksteditor. Maar het exacte .css-bestand dat u moet bewerken, is afhankelijk van het GNOME Shell-thema dat u gebruikt.
Als u niet zeker weet of u een GNOME Shell-thema gebruikt, is dat waarschijnlijk niet het geval. U moet de hebben geïnstalleerd Gebruikersthema-extensie van de GNOME Extensions-website om deze functie in te schakelen en een bijbehorend GNOME Shell-thema te installeren.
Zo bereiken we deze; je moet de corresponderende gnome-shell.css
bestand in de map van het thema.
Ik gebruik het Arc Dark GNOME Shell-thema, geïnstalleerd vanuit Ubuntu Software. Om het .css-bestand te bewerken en het lettertype aan te passen, voer ik eerst uit:
sudo gedit /usr/share/themes/Arc-Dark/gnome-shell/gnome-shell.css
De locatie van je thema kan verschillen, dus zorg ervoor dat je het juiste bestand bewerkt voordat je begint.
Zodra je het corresponderende bestand 'gnome-shell.css' hebt gevonden en geopend, vind je het volgende stuk code dat begint:
fase {
Zodra u de juiste sectie hebt gevonden (zie afbeelding hierboven), kunt u: de lettertypefamilie wijzigen (en grootte en kleur als je wilt) naar elk lettertype dat je hebt geïnstalleerd.
Dus als ik bijvoorbeeld het Ubuntu-lettertype wil, zou ik de lettertypefamilie als volgt in Ubuntu veranderen:
stage { font-familie: Ubuntu; lettergrootte: 9pt; kleur: #5c616b; }
Als je eenmaal je bewerking hebt gemaakt, vergeet dan niet om op Opslaan te drukken en vervolgens af te sluiten.
Om uw wijzigingen van kracht te laten worden, moet u GNOME Tweak Tool openen en uw shell-thema selecteren in de vervolgkeuzelijst 'Uiterlijk' (als je thema al is geselecteerd, ga je gang en selecteer je een ander thema en schakel je terug om de wijziging door te voeren effect).
Dat is alles; het standaardlettertype voor GNOME Shell is gewijzigd - veel plezier!
Alles Ubuntu, dagelijks. Sinds 2009.