Ответы:
К сожалению, назначение ярлыков с TABключом в Gnome не рекомендуется (по любой причине). Так что это не сработает.
gnome-terminal
что это ctrl-shift-right
&ctrl-shift-left
Способ настроить это, установив gsettings
из самого терминала (две команды):
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'
Источник: последний комментарий в отчете об ошибке
Используйте dconf Editor . Если он не установлен по умолчанию, вы можете получить его sudo apt-get install dconf-tools
. Ярлык можно изменить в Org> Gnome> Terminal> Legacy> Keybindings.
Это работает для меня в Ubuntu Gnome 16.04. Ссылка: https://bugzilla.gnome.org/show_bug.cgi?id=738325
dconf write /org/gnome/terminal/legacy/keybindings/next-tab "'<Primary>Tab'"
иdconf write /org/gnome/terminal/legacy/keybindings/prev-tab "'<Primary><Shift>Tab'"
Используйте Ctrl+ PageUPи Ctrl+ PageDown(раздражает, но это то, что мы имеем).