web-dev-qa-db-fra.com

Existe-t-il un raccourci clavier pour basculer entre les onglets dans l'application de terminal par défaut?

Existe-t-il un raccourci clavier pour basculer entre les onglets dans l'application de terminal natif Ubuntu? J'utilise la version netbook d'ubuntu.

131
mikes mith

Vous pouvez aussi utiliser Ctrl+PgUp/PgDn pour aller à l'onglet précédent/suivant.

158
xangua

Vous voulez dire gnome-terminal?

Pour basculer entre les onglets, vous pouvez utiliser Alt-n, où n est le nombre ordinal de tabulation.

  • Alt+Maj+n si vous utilisez un clavier azerty, en majuscule ou non ...

À propos, cela fonctionne de la même manière dans Gedit.

64
enzotib

Je suppose que vous voulez parler du terminal gnome distribué (pré-installé) par défaut.

Vous pouvez définir vos propres raccourcis facilement, il suffit d'aller au menu Edit>Keyboard Shortcuts...

gnome-terminal keyboard shortcuts settings as seen on ubuntu 12.04

Bonus tip: Si vous voulez jeter un coup d'œil au vrai "terminal natif" ou au tty (interface de télétype), appuyez simplement sur Ctrl+Alt+F1 (Cela fonctionne avec presque toutes les touches de fonction), et ne paniquez pas, vous pouvez revenir à "l'interface graphique" en appuyant sur Ctrl+Alt+F7

12
JorgeArtware

Simple et standard pour tous:

pour changer/déplacer les onglets:

Ctrl + pg up

ou

Ctrl + pg dn

pour les onglets de positionnement (pas de commutation):

si vous souhaitez positionner les onglets, mais pas basculer/déplacer. est utile lorsque trop d'onglets sont ouverts dans le navigateur Web et/ou le terminal et que vous souhaitez grouper/aligner des onglets. tu peux le faire.

CtrlShift + pg up

ou

CtrlShift + pg dn

Astuce:

essayez ceci dans les onglets de votre navigateur. et voir ce qui se passe.

7
Kaleem Ullah

Pour tous ceux qui utilisent Konsole, fourni avec Kubuntu (ou KDE), le raccourci est:

Shift+Shift+

5
tobias88

Alt + Shift + n, où n est le numéro d’onglet à partir de 1, fonctionne pour moi sur Ubuntu 18.04 avec Gnome Desktop Environment.

0
singrium