Odpowiedzi:
Niestety przypisywanie skrótów TABklawiszem nie jest możliwe w Gnome (z jakiegokolwiek powodu). Więc to nie zadziała.
gnome-terminal
to jest ctrl-shift-right
ictrl-shift-left
Sposobem na skonfigurowanie tego jest ustawienie gsettings
z samego terminala (dwie komendy):
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'
Użyj edytora dconf . Jeśli nie jest zainstalowany domyślnie, możesz go uzyskać za pomocą sudo apt-get install dconf-tools
. Skrót można zmodyfikować w Org> Gnome> Terminal> Legacy> Keybindings.
Działa to dla mnie w Ubuntu Gnome 16.04. Odniesienie: https://bugzilla.gnome.org/show_bug.cgi?id=738325
dconf write /org/gnome/terminal/legacy/keybindings/next-tab "'<Primary>Tab'"
idconf write /org/gnome/terminal/legacy/keybindings/prev-tab "'<Primary><Shift>Tab'"
Użyj Ctrl+ PageUPi Ctrl+ PageDown(irytujące, ale to właśnie mamy).