Switch tabs in Gnome Terminal windows with control-tab on Debian or Ubuntu
- gnome terminal control tab for switching tabs ctrl+tab
After living with the annoyance for quite a while and then taking a bit to find it, only to note i’d already upvoted the answer that fixes everything (in Debian too!), i figured i’d better keep my own note on convenient terminal tabbing here where i can find it easily.
The solution in comment 13 https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/162000/comments/13 and is a godsend and is justifiably popular on Ask Ubuntu stackexchange: https://askubuntu.com/a/875482/95056
Most people, i am sure, just suffer without the most sensible shortcuts for switching tabs. Would be excellent to add this to Gnome or work around it proactively.