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?

shortcut-keys fonts gnome-terminal shortcuts Ionică Bizău
la source
3
Astuce: += shift+=
Gayan Weerakutti

Réponses:

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
la 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
la 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
la 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
la source
1
C'est peut-être le problème - mais cela dépend beaucoup des paramètres régionaux ou linguistiques.
Volker Siegel