Preciso de um atalho rápido para alterar o tamanho da fonte do terminal. Eu uso gnome-terminal.
Eu tentei com Ctrl+ +e Ctrl+ -mas o tamanho não é alterado.
Existe outro atalho? Posso adicionar um atalho como este?
Preciso de um atalho rápido para alterar o tamanho da fonte do terminal. Eu uso gnome-terminal.
Eu tentei com Ctrl+ +e Ctrl+ -mas o tamanho não é alterado.
Existe outro atalho? Posso adicionar um atalho como este?
Respostas:
Ctrl+ +e Ctrl+ -estão funcionando bem para mim. Talvez você tenha diferentes atalhos configurados.
Para alterar os atalhos do teclado, vá para Editar -> Atalhos do teclado ... no menu do gnome-terminal e procure por Mais zoom e Menos zoom :

+está na =tecla, então você realmente precisa pressionar shifte =obter um +. Provavelmente é por isso que você precisa usar ctrl+ shift+ +(ou, na verdade, é ctrl+ shift+ =). Se você não gostar, basta configurar outro atalho de teclado, conforme descrito acima. Por exemplo, se você configurar ctrl+ =para aumentar o zoom, poderá pressionar as teclas que esperava em primeiro lugar para aumentar o zoom (sem shift).
Tente Shift Ctrl +aumentar
e Ctrl -para diminuir o tamanho da fonte.
Nota: a Shiftchave é necessária em alguns sistemas.
O truque que funcionou para mim foi usar Ctrl+ Shift+ =ou Ctrl+, -mas NÃO no teclado numérico.
Lembre-se que o terminal é MUITO literal! O terminal + chave do Ubuntu quer está na linha superior e requer Shift, caso contrário, é =.
+=shift+=