Raccourci pour modifier la taille de la police du gnome-terminal

20

J'ai besoin d'un raccourci rapide pour modifier la taille de la police du terminal. J'utilise gnome-terminal.

J'ai essayé avec Ctrl+ +et Ctrl+ -mais la taille n'est pas modifiée.

Y a-t-il un autre raccourci? Puis-je ajouter un raccourci comme celui-ci?

— Ionică Bizău
source

3

Astuce: += shift+=

— Gayan Weerakutti

23

Ctrl+ +et Ctrl+ -fonctionnent bien pour moi. Peut-être que vous avez configuré différents raccourcis.

Pour modifier les raccourcis clavier, allez dans Edition -> Raccourcis clavier ... dans le menu du terminal gnome, et recherchez Zoom avant et Zoom arrière :

entrez la description de l'image ici

— Malte Skoruppa
source

3

LOL, ctrl - fonctionne pour moi mais ctrl + ne l'est pas, fml

— Alexander Mills

4

ctrl + shift ++ fonctionne pour moi :)

— Alexander Mills

3

@AlexanderMills Notez que sur les claviers américains, le +est sur la =touche, vous devez donc frapper shiftet =obtenir un +. C'est probablement pourquoi vous devez utiliser ctrl+ shift+ +(ou en fait, c'est ctrl+ shift+ =). Si vous n'aimez pas cela, configurez simplement un autre raccourci clavier comme décrit ci-dessus. Par exemple, si vous configurez ctrl+ =pour effectuer un zoom avant, vous pourrez appuyer sur les touches que vous attendiez en premier lieu pour effectuer un zoom avant (sans shift).

— Malte Skoruppa

C'était tellement amusant de voir des lettres ÉNORMES et PETITES sur le terminal !!

— Ciro Santilli 新疆改造中心法轮功六四事件

17

Essayez Shift Ctrl +d'augmenter

et Ctrl -pour diminuer la taille de la police.

Remarque: la Shiftclé est nécessaire sur certains systèmes.

— Felix Francis
source

Pourriez-vous ajouter des détails sur la façon dont cela est différent de ce que le PO a essayé?

— Volker Siegel

+1 à Felix Francis ... Merci cette solution a fonctionné pour moi.

— Forever Learner

@ Volker Siegel - La différence est d'utiliser la touche "Shift"

— Forever Learner

notez que "+" est la touche de 2ème niveau. "=" est 1lvl

— deathangel908

Ces deux travaux sur Ubuntu. Merci!

— cbloss793

5

L'astuce qui a fonctionné pour moi était d'utiliser Ctrl+ Shift+ =ou Ctrl+ -mais PAS sur le clavier numérique.

— Anastazie Sedlakova
source

3

N'oubliez pas que le terminal est TRÈS littéral! La clé + que le terminal Ubuntu veut se trouve sur la ligne supérieure et nécessite Shift sinon c'est =.

— KevinR
source

1

C'est peut-être le problème - mais cela dépend beaucoup des paramètres régionaux ou linguistiques.

— Volker Siegel