De Terminal in moderne versies van Mac OS X dwingt een nieuwe standaard voor de tekenbreedte met monospatie af, wat in termen van leken betekent dat je niet langer monospace-lettertypen in de Terminal hoeft te gebruiken. Dat betekent dat je nu elk gewenst lettertype kunt gebruiken, zelfs Comic Sans zoals de screenshot hieronder laat zien (hoera?).

Het Terminal-lettertype wijzigen in Mac OS X

U kunt elk lettertype kiezen dat u als nieuwe standaard wilt gebruiken in Terminal, of u kunt de lettertypewijziging toewijzen aan specifieke profielen. Je wilt natuurlijk iets gebruiken dat leesbaar is:

1. Open "Voorkeuren" in het menu van de Terminal-app
2. Kies Instellingen, selecteer een thema en ga naar het tabblad Tekst
3. Kies "Lettertype" en breng de gewenste wijziging aan in het lettertype van de terminal

Zolang je actief gebruik maakt van het thema dat je aan het aanpassen bent, worden de wijzigingen onmiddellijk en live van kracht.

Misschien nog nuttiger dan het lettertype wijzigen, is de mogelijkheid om het lettertype en de regelafstand aan te passen. Terwijl u zich in de instellingen van een Terminal-thema bevindt, kunt u ook de achtergrondafbeelding van Terminal-vensters wijzigen, wat een leuk effect is.

Ik ben een grote fan van Menlo Regular 11 en 12, maar de wereld van lelijke lettertypen staat nu voor je open, inclusief Dingbats en Emoji-tekens als je echt dom wilt worden. Hoewel dit slechts marginaal nuttig is, zorgt dit wel voor een extra mate van aanpassing van de gebruikerservaring, wat altijd een pluspunt is in ons boek.

Dit werkt in alle moderne versies van OS X, van OS X Lion tot Mountain Lion, Mavericks, OS X Yosemite, noem maar op, het wordt ondersteund na Lion.

Bedankt voor het insturen van de tip van McaWorld, Greg