Je suis à la recherche d'un moyen de peut-être taper une commande et de changer la police par incréments de disons 5 ou 10. En ce moment, Cmd-+ prend trop de temps si je veux passer d'une petite police à une grande police. J'utilise Neovim via Terminal. Y a-t-il un moyen de faire cela ? Les plugins Vim ne semblent pas fonctionner. Peut-être un émulateur de terminal ?
Réponse
Trop de publicités?
Oskar
Points
1242
Pourquoi ne pas ouvrir les préférences du terminal et choisir de modifier les paramètres par défaut. Vous pouvez ensuite ouvrir un nouvel onglet de la taille et de la couleur exactes que vous préférez?
Cela et en utilisant screen ou tmux signifie que vous pouvez faire fonctionner votre environnement indépendamment de la fenêtre dans laquelle vous le placez. Les incréments de zoom sont meilleurs pour de petits ajustements temporaires comme vous l'avez si justement souligné.
