Instellingen wijzigen in Terminal op de Mac
Gebruik de Terminal-instellingen om opties te wijzigen voor nieuwe Terminal-vensters, profielen aan te maken, venstergroepen te beheren en de coderingen te selecteren die in tekstcoderingsmenu's moeten worden opgenomen.
Ga op de Mac naar de Terminal-app
.Kies 'Terminal' > 'Instellingen' en klik op een instellingenpaneel:
Algemeen: Configureer het profiel voor het opstartvenster, voor nieuwe vensters en tabbladen en kies de shell die moet worden gebruikt.
Profielen: Maak profielen aan om het uiterlijk van Terminal-vensters aan te passen.
Venstergroepen: Beheer groepen met Terminal-vensters.
Coderingen: Selecteer de coderingen die in tekstcoderingsmenu's moeten worden opgenomen.
Als je meer wilt weten over de opties in een paneel, klik je onder in het paneel op 
.