Comment augmenter la taille de police du terminal sur OSX?
Je pensais que cela serait extrêmement facile. J'ai fait tellement de recherches dans Google pour savoir comment faire cela, mais rien ne se présente jamais. J'ai cherché "augmenter la taille du terminal osx" mais aucun site Web ne correspond. Comment augmenter la taille de la police du terminal? Merci!
C'est en fait assez facile. Sélectionnez Préférences dans le menu de l'application, puis l'onglet Paramètres. Dans le cahier des paramètres, sélectionnez le profil du terminal que vous souhaitez modifier (généralement Basic), puis sélectionnez la page Texte (doit déjà être sélectionnée); Police est le premier élément de la page.
Command++ (augmenter)
Command+- (diminuer)