Risposte:
Sfortunatamente assegnare tasti di scelta rapida con TABchiave è assolutamente impossibile in Gnome (per qualsiasi motivo). Quindi questo non funzionerà.
gnome-terminal
è ctrl-shift-right
&ctrl-shift-left
Un modo per configurarlo è l'impostazione gsettings
dal terminale stesso (due comandi):
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'
Usa l'editor dconf . Se non è installato per impostazione predefinita, puoi ottenerlo con sudo apt-get install dconf-tools
. Il collegamento può essere modificato in Org> Gnome> Terminale> Legacy> Tasti di scelta rapida.
Questo funziona per me in Ubuntu Gnome 16.04. Riferimento: https://bugzilla.gnome.org/show_bug.cgi?id=738325
dconf write /org/gnome/terminal/legacy/keybindings/next-tab "'<Primary>Tab'"
edconf write /org/gnome/terminal/legacy/keybindings/prev-tab "'<Primary><Shift>Tab'"
Usa Ctrl+ PageUPe Ctrl+ PageDown(fastidioso, ma è quello che abbiamo).