Como alterno as guias no terminal Linux GNOME?

32

Eu gosto de abrir várias abas no terminal GNOME quando trabalho. No Firefox, você pode alternar entre as guias usando Ctrl-Tab ou Ctrl-Shift-Tab. Como obtenho a mesma funcionalidade no terminal GNOME?


fonte

Respostas:

37

Ctrl+ PageDownpara a próxima guia

Ctrl+ PageUppara guia anterior

para mover a guia para a esquerda, tente Ctrl+ Shift+

Ye Lin Aung
fonte
19

Isso geralmente é mapeado para CTRLPgUpe CTRLPgDown.

Use CTRLSHIFTPgUpe CTRLSHIFTPgDownpara mover as guias.

E, por último, você pode acessar diretamente as dez primeiras guias com ALT1, ALT2etc.

Benjamin Bannier
fonte
7

Atualização : Algumas versões (mais recentes?) Do gnome-terminal têm uma keyboard shortcutscaixa de diálogo acessível no Editmenu - eliminando a necessidade de uso gconf-editor.


Você pode modificar as combinações de teclas para o gnome-terminal usando o gconf-editor .

Procure em: apps / gnome-terminal / keybindings

A página de manual do gconf-editor fornece alguns comentários interessantes ...

O GConf-Editor é uma ferramenta usada para editar o banco de dados de configuração do GConf. Pode ser útil quando o utilitário de configuração adequado para alguns softwares não oferece nenhuma maneira de alterar alguma opção.

e

Essa ferramenta permite editar diretamente seu banco de dados de configuração. Esta não é a maneira recomendada de definir preferências da área de trabalho. Use essa ferramenta por risco e conta própria.


Nota: O GConfig-Editor pode não estar instalado por padrão. Para Debian / Ubuntu / Mint, instale com:

sudo apt-get install gconf-editor

Configurações de exemplo:

next_tab <Shift>Right
prev_tab <Shift>Left
nobar
fonte
Ubuntu-mate 18.04: obtendo o SIGSEGV repetidamente enquanto tenta fazer isso com o Keyboard Shortcutsmate-terminal.
Nobar
... Isso mata instantaneamente todas as instâncias do terminal.
nobar 9/01