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.
Kies in de app Terminal op de Mac 'Terminal' > 'Instellingen' en klik vervolgens 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.
Coderingsinstellingen: 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 de knop met het vraagteken .