Raccourci pour changer la taille de la police gnome-terminal
J'ai besoin d'un raccourci rapide pour changer la taille de la police du terminal. J'utilise gnome-terminal.
J'ai essayé avec Ctrl + + et Ctrl + - mais la taille n'est pas changée.
Y a-t-il un autre raccourci? Puis-je ajouter un raccourci comme celui-ci?
Ctrl++ et Ctrl+- fonctionnent bien pour moi. Peut-être avez-vous configuré différents raccourcis.
Pour changer les raccourcis clavier, allez dans Édition -> Raccourcis clavier ... dans le menu gnome-terminal, et cherchez Zoom In et Zoom Out:
Essayer ShiftCtrl+pour augmenter
et Ctrl- pour diminuer la taille de la police.
Noter la Shift la clé est nécessaire sur certains systèmes.
L'astuce qui a fonctionné pour moi a été d'utiliser Ctrl + Shift + = ou Ctrl + - mais PAS sur le clavier numérique.
Rappelez-vous que le terminal est TRÈS littéral! La clé + que souhaite le terminal Ubuntu se trouve sur la rangée supérieure et nécessite Shift, sinon c'est =.