Comment faire une taille de police égale à 15 dans Terminal sur Mac OS X Yosemite?

23

Voici les paramètres de configuration de l'application Terminal dans Yosemite.

Cela montre que je peux définir la taille de la police aux valeurs distinctes données dans Terminal. Comment puis-je le définir sur une autre valeur intermédiaire comme dans mon cas, je veux le définir sur "15"?

macos yosemite terminal

— Arslan Ali
source

Mes deux cents - essayez iterm2. S'il n'y a aucune raison particulière de s'en tenir à Terminal - utilisez iterm2.

— mspasov

9

Mes deux cents - essayez le terminal. S'il n'y a aucune raison particulière de s'en tenir à iTerm2 - utilisez le terminal.

— Arslan Ali

27

Voici ce que j'ai fait sous OS X Yosemite 10.10.4.

Terminal (menu)> Préférences ...> Paramètres> Sélectionnez le profil cible> Texte> Modifier ... (bouton)

Cela a fait apparaître la fenêtre Polices montrée dans l'image ci-dessous.

J'ai ensuite redimensionné la boîte de dialogue Polices verticalement jusqu'à ce que la fenêtre de texte Taille apparaisse et entre 15, comme indiqué dans l'image ci-dessous.

— user3439894
source

1

Tu viens de gagner mon cœur copain. Merci vraiment pour ça. C'était génial.

— Arslan Ali

3

Ce serait bien s'il y avait un moyen de le faire à partir de la ligne de commande

— rbanffy

12

Vous pouvez également ajouter des valeurs personnalisées pour les tailles de police. Dans la fenêtre Police, cliquez sur l'engrenage en haut à gauche et choisissez "Modifier les tailles".

Saisissez ensuite votre valeur.

— Justin W.
source

1

Cela devrait maintenant être la réponse acceptée, car vous ne pouvez plus faire la réponse actuellement acceptée.

— PaulJ

2

En option, vous pouvez augmenter et diminuer la taille de la police pour bash avec,

Command and the Plus (+) key
Command and the Minus (-) key

— Sazzad Hissain Khan
source