Réponses:
Malheureusement, attribuer des raccourcis avec la TABclé est un pas dans Gnome (pour une raison quelconque). Donc ça ne marchera pas.
gnome-terminal
c'est ctrl-shift-right
&ctrl-shift-left
Un moyen de configurer cela est de définir à gsettings
partir du terminal lui-même (deux commandes):
gsettings set org.gnome.Terminal.Legacy.Keybindings:/org/gnome/terminal/legacy/keybindings/ next-tab '<Primary>Tab'
gsettings set org.gnome.Terminal.Legacy.Keybindings:/org/gnome/terminal/legacy/keybindings/ prev-tab '<Primary><Shift>Tab'
Utilisez l' éditeur dconf . S'il n'est pas installé par défaut, vous pouvez l'obtenir avec sudo apt-get install dconf-tools
. Le raccourci peut être modifié dans Org> Gnome> Terminal> Legacy> Keybindings.
Cela fonctionne pour moi dans Ubuntu Gnome 16.04. Référence: https://bugzilla.gnome.org/show_bug.cgi?id=738325
dconf write /org/gnome/terminal/legacy/keybindings/next-tab "'<Primary>Tab'"
etdconf write /org/gnome/terminal/legacy/keybindings/prev-tab "'<Primary><Shift>Tab'"
Utilisez Ctrl+ PageUPet Ctrl+ PageDown(ennuyeux, mais c'est ce que nous avons).