40 votes

jordanpg avatar

Comment empêcher le terminal de se redimensionner lorsque la taille de la police est modifiée ?

Demandé el 23 de Mai, 2013
Quand la question a-t-elle été
6809 affichage
Nombre de visites la question a
4 Réponses
Nombre de réponses aux questions
Résolu
Situation réelle de la question

10.8.3/Terminal 2.3.

Terminal redimensionne l'ensemble de la fenêtre de manière apparemment imprévisible chaque fois que je modifie 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 ne soit pas possible. Quelqu'un peut-il me recommander des émulateurs de terminal OS X qui n'ont pas cette fonctionnalité ?

Demandé el 23 de Mai, 2013 par jordanpg

Réponses

Trop de publicités?

92voto

carueda avatar
carueda Points 831

Vieille question ici ... mais j'ai pensé ajouter que cela a été pris en charge dans iTerm depuis presque deux ans maintenant. https://gitlab.com/gnachman/iterm2/issues/2900

Il suffit de décocher la case "Ajuster la fenêtre lors du changement de taille de la police" dans les préférences.

iTerm Preferences, General tab

Mise à jour 2020

La boîte est maintenant là :

2020 version, iTerm Preferences, General tab

Répondu el 5 de Janvier, 2016 par carueda (831 Points )

4voto

Ged Byrne avatar
Ged Byrne Points 481

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 la taille des fenêtres de Terminal est définie par des caractères et non par des pixels. Par conséquent, lorsque vous changez de police, la fenêtre est redimensionnée en fonction des proportions de cette police, de manière à préserver le format du contenu existant à l'écran.

Cela semble un peu stupide au premier abord, mais étant donné qu'un terminal n'affiche que des caractères de texte, c'est logique. Si une fenêtre est dimensionnée en pixels, vous vous retrouverez souvent avec de l'espace perdu lorsque la taille de la fenêtre ne correspond pas exactement à la limite d'un caractère.

Répondu el 23 de Mai, 2013 par Ged Byrne (481 Points )

1voto

Terminality avatar
Terminality Points 223

Sur la base de votre mise à jour de la question, jetez un coup d'œil à l' Terminal ZOC . Il est commercial, peut être utilisé pour les shells locaux ainsi que pour les connexions SSH et autres, 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 est possible de conserver les lignes/colonnes et de réduire/agrandir la taille de la police, etc.) Jetez un coup d'oeil à la page Session-Profile>Layout settings.

Répondu el 24 de Mai, 2013 par Terminality (223 Points )

0voto

marvin avatar
marvin Points 101

J'ai eu ce même problème pendant des années. J'ai récemment trouvé non pas une solution mais un contournement pour OS X, qui ne nécessite pas de changer d'émulateur de terminal. Elle utilise une application appelée Spectacle : https://www.spectacleapp.com/

Spectacle propose des raccourcis clavier pour positionner et redimensionner les fenêtres (mais pas la taille des polices, pour autant que je sache). Lorsque je veux modifier la taille de ma police, je lance la commande par défaut pour le faire, ce qui crée le redimensionnement indésirable de la fenêtre. Je réduis ou augmente alors la taille de la fenêtre à l'aide du raccourci clavier Spectacle, jusqu'à ce que je retrouve ma taille préférée.

Répondu el 10 de Mai, 2017 par marvin (101 Points )

Questions en vedette

Top Tags

Dans notre réseau

LesApples.com

LesApples est une communauté de Apple où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres utilisateurs d'appareils Apple, poser vos propres questions ou résoudre celles des autres.

Powered by:

Yandex
X