Comment augmenter la taille de la police du terminal sur OSX?

24

Je pensais que cela serait extrêmement facile. J'ai fait tellement de recherches dans Google pour savoir comment faire, mais rien ne se présente. J'ai recherché "augmenter la taille du terminal osx" mais aucun des sites Web ne correspond. Comment augmenter la taille de police du terminal? Merci!

macos fonts Varech
la source
est- ce applicable?
soandos

Réponses:

25

C'est en fait assez simple. Sélectionnez Préférences dans le menu d'application, puis l' onglet Paramètres . Dans le bloc-notes des paramètres, sélectionnez le profil de terminal que vous souhaitez modifier (généralement de base ), puis sélectionnez la page Texte (qui doit déjà être sélectionnée); La police est le premier élément de la page.Exemple de fenêtre de paramètres

geekosaure
la source
1
Remarque: la grande vue personnalisée que Terminal ajoute au panneau de police force le panneau à passer en mode "compact" qui autorise 14 pt et 18 pt mais aucune taille entre les deux. Pour résoudre ce problème, redimensionnez simplement le panneau de police pour qu'il soit plus grand, en le retirant du mode compact.
Abhi Beckert
16

Command+ + (pour augmenter)
Command+ - (pour diminuer)

user1413
la source
1
Est-ce que l' Shiftajout dans Lion? Dans Snow Leopard, c'est juste Command++/-
neuf neuf
@ shift de neuf mille neufième n'est pas nécessaire!
user1413
Quel est le raccourci pour la taille de police par défaut?
J4cK
Cela fonctionne toujours à El Capitan.
james.garriss