Comment empêcher Terminal de redimensionner lorsque la taille de police est modifiée

10.8.3 / Terminal 2.3.

Le terminal redimensionne la fenêtre entière de manière apparemment imprévisible chaque fois que je change la taille de la police - une opération fréquente lorsque je passe fréquemment d'un ordinateur portable à un écran externe.

Y a-t-il un moyen d'empêcher cela? iTerm semble faire la même chose.

Mise à jour: Sur la base de la réponse de @robmathers ci-dessous, il semble probable que ce que je veux n'est pas possible. Quelqu'un peut-il recommander des émulateurs de terminaux OS X qui ne disposent pas de cette fonctionnalité?

Pour autant que je sache, vous ne pouvez pas faire cela dans Terminal (je n'utilise pas iTerm, donc je ne peux pas en parler). La raison en est que les tailles de fenêtre de Terminal sont définies par des caractères plutôt que par des pixels. Par conséquent, lorsque vous changez de police, la fenêtre est redimensionnée en fonction des proportions de cette police, afin de conserver le format du contenu existant à l'écran.

Cela semble un peu idiot au début, mais étant donné qu'un terminal n'affiche que des caractères de texte, cela a du sens - si une fenêtre est dimensionnée en pixels, vous vous retrouveriez souvent avec un espace gaspillé lorsque la taille de la fenêtre ne correspond pas exactement correspondre à une limite de caractère.

Vieille question ici ... mais j'ai pensé ajouter que cela est pris en charge dans iTerm depuis près de deux ans maintenant https://gitlab.com/gnachman/iterm2/issues/2900

Décochez simplement la case "Ajuster la fenêtre lors du changement de taille de police" dans les préférences.

En fonction de votre mise à jour de la question, jetez un œil au terminal ZOC . Il est commercial, peut être utilisé pour des shells locaux et également SSH et d'autres connexions, mais offre des sessions à onglets et la possibilité de contrôler ce qui se passe lorsque la fenêtre est redimensionnée (par exemple, il y a le choix de conserver les lignes / colonnes et à la place, réduire / augmenter la taille de la police, etc.). Jetez un œil à sa page Session-Profile> Layout settings.

J'ai ce même problème depuis des années. J'ai récemment trouvé non pas une solution mais une solution de contournement pour OS X, qui ne vous oblige pas à changer d'émulateurs de terminal. Il utilise une application appelée Spectacle: https://www.spectacleapp.com/

Spectacle fournit des raccourcis clavier pour le positionnement et le redimensionnement des fenêtres (mais pas la taille de la police, pour autant que je sache). Lorsque je souhaite modifier la taille de ma police, j'émets la commande par défaut pour ce faire, ce qui crée le redimensionnement indésirable de la fenêtre. Je réduit ou augmente ensuite la taille de la fenêtre à l'aide du raccourci clavier Spectacle, jusqu'à ce que je la ramène à une taille préférée.