Basculer entre les onglets dans gnome-terminal avec clavier?

15

Une fois que j'ai créé un nouvel onglet gnome-terminalavec Ctrl+ Shift+ t, comment puis-je basculer entre les onglets à l'aide du clavier? Par exemple, dans Google Chrome, le raccourci clavier est Ctrl+ Tab(avant) et Ctrl+ Shift+ Tab(arrière).

J'utilise Linux Mint 14 Cinnamon.

terminal keyboard-shortcuts tabs

— dannyp32
source

Oui, j'utilise gnome-terminal ... J'ai modifié la question pour refléter cela.

— dannyp32

2

Google renvoie CECI comme premier résultat lors d'une recherche avec votre titre exact.

— don_crissti

Merci. J'ai précédemment recherché "Basculer entre les onglets dans le terminal avec clavier", ce qui donne un tas de résultats pertinents pour mac os. J'ai oublié de chercher à nouveau après avoir demandé si j'utilisais le terminal gnome.

— dannyp32

25

Ctrl+ Page Down(avant) et Ctrl+ Page Up(arrière).

— dsueiro
source

18

Essayez d'utiliser alt+ tab numberpour Linux avec gnome.

— oseille
source

Cela fonctionne aussi pour moi, je ne sais pas pourquoi cela a été rejeté.

— iamserious

1

Pour moi, ce qui fonctionne, c'est: Alt+ shift+ tab number.

— Alexandre Bourlier
source