Antworten:
Leider ist das Zuweisen von Tastenkombinationen TABin Gnome (aus welchen Gründen auch immer) nicht möglich. Das wird also nicht funktionieren.
gnome-terminal
's ctrl-shift-right
&ctrl-shift-left
Eine Möglichkeit, dies zu konfigurieren, besteht in der Einstellung gsettings
über das Terminal selbst (zwei Befehle):
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'
Verwenden Sie den dconf Editor . Wenn es nicht standardmäßig installiert ist, können Sie es mit bekommen sudo apt-get install dconf-tools
. Die Verknüpfung kann unter Org> Gnome> Terminal> Legacy> Tastenkombinationen geändert werden.
Dies funktioniert für mich in Ubuntu Gnome 16.04. Referenz: https://bugzilla.gnome.org/show_bug.cgi?id=738325
dconf write /org/gnome/terminal/legacy/keybindings/next-tab "'<Primary>Tab'"
unddconf write /org/gnome/terminal/legacy/keybindings/prev-tab "'<Primary><Shift>Tab'"
Benutze Ctrl+ PageUPund Ctrl+ PageDown(nervig, aber es ist das, was wir haben).