Ele deve estar nas configurações em Editar- > atalhos de teclado
O padrão é ctrl + pg down / up
Existe alguma maneira de alternar entre as guias usando o atalho Ctrl-Tab?
Eu acho que isso não é possível no gnome-terminal devido ao GTK, veja bugzilla.gnome.org .
No entanto, é possível com terminador que é muito semelhante ( sudo apt-get install terminator
). Depois de instalado, tive que editar manualmente .config/terminator/config
para que funcionasse:
[keybindings]
cycle_prev = <Ctrl>Page_Up
next_tab = <Ctrl>Tab
prev_tab = <Ctrl><Shift>Tab
cycle_next = <Ctrl>Page_Down
Tags gnome-terminal