Une fois que j'ai créé un nouvel onglet gnome-terminal
avec 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
la source
la source
Réponses:
Ctrl+ Page Down(avant) et Ctrl+ Page Up(arrière).
la source
Essayez d'utiliser alt+ tab numberpour Linux avec gnome.
la source
Pour moi, ce qui fonctionne, c'est: Alt+ shift+ tab number.
la source