Ik wil op mijn Linux-desktop graag een ander lettertype gebruiken voor monospace-tekst. Bij de afzonderlijke programma’s kan ik dat aanpassen, maar ik zou liever het standaardlettertype overal veranderen. Ik gebruik Gnome, maar kan geen instelling vinden om dat te doen. Is daar een manier voor?
Lees verder na de advertentie
Ja, die is er – maar met de normale desktopinstellingen (het gnome-control-center) is er inderdaad geen optie waarmee je dat kunt doen. De eenvoudigste manier is om de tool gnome-tweaks te installeren, die dergelijke instellingen wel biedt.
Als je de exacte naam weet van het lettertype dat je wilt gebruiken, kun je de instelling ook in de terminal doen met de tool gsettings: gsettings set org.gnome.desktop.interface monospace-font-name “‘naam lettertype’” In het algemeen is het echter sowieso de moeite waard om gnome-tweaks te installeren, omdat het een erg handige tool is om te hebben.
- Alternatieve Office-pakketten
- Multifunctionele A4-kleurenlaserprinters getest
- Bouwvoorstel high-end allround-pc
- Onze eerste ervaringen met de nieuwe Linux-desktop Cosmic
Tip
Download nu en lees alles over de specifieke eisen voor CAD-toepassingen en toekomstbestendige workstations.
Tip
Krijg direct toegang tot alle beschikbare edities op je laptop, tablet of smartphone.
Praat mee