Comment fermer un onglet de terminal GNOME à partir du clavier?

9

Je ne parle pas de fermer la fenêtre du terminal elle-même, ce que vous pouvez facilement faire en utilisant la exitcommande. Je parle de fermer un onglet que vous avez ouvert à l'origine en appuyant sur la CtrlShiftTcombinaison de touches. Quand j'aurai fini de travailler avec, je voudrais le fermer sans lever les mains du clavier et aller pour que la souris clique sur ce petit bouton X. Y a-t-il une commande pour cela?

shortcut-keys gnome-terminal

— misha
source

6

Quittez simplement le shell (ctrl-d)? L'autre onglet restera ouvert.

— muru

Donc, je peux utiliser soit exit soit Ctrl + D pour fermer un onglet. Je vous remercie.

— misha

Un raccourci clavier pourrait être utile si vous essayez de fermer un onglet avec une session ssh gelée qui ne répond pas ...

— Yibo Yang

27

Lorsque le processus shell à l'intérieur de l'onglet terminal se termine, il se ferme. S'il s'agissait du seul onglet, la fenêtre entière se fermerait. Il vous suffit donc de quitter la session Bash.

Votre session Bash se ferme ...

lorsque vous tapez la commande exit.
lorsque vous appuyez sur Ctrl+ Dpour envoyer un EOTcode ("Fin de transmission").
Notez qu'il doit être enfoncé lorsque l'invite de commande est vide, c'est-à-dire que vous n'avez encore rien tapé d'autre sur cette ligne.

Veuillez également noter que vous pouvez imbriquer plusieurs shells interactifs. Vous pouvez lancer un nouveau shell dans l'actuel en exécutant par exemple bash, sh, python, bc, ... Le exitet Ctrl+ Dse termineront toujours que la coquille active, ce qui est généralement le plus à l'intérieur.

— Byte Commander
source

lorsque vous appuyez sur ctrl-d ... sur une invite par ailleurs vide.

— muru

@muru Oui, c'est exact. Je vais l'ajouter.

— Byte Commander

un autre petit ajout: si vous êtes à l'intérieur de plus d'un shell ... il quittera le shell et ne fermera pas l'onglet. (c.-à-d. "bash" "bash" "bash" nécessite 4 contrôles-d's pour que l'onglet se ferme)

— Rinzwind

@Rinzwind Ooohhhkay ... J'ajouterai cela aussi ;-)

— Byte Commander

1

Il peut être intéressant de noter que Ctrl + u effacera la ligne actuelle du terminal afin que ctrl + u, ctrl + d se termine.

— Holloway

23

Dans l'aide du terminal GNOME :

Fermer l'onglet: ShiftCtrlW
Fermer la fenêtre: ShiftCtrlQ

— muru
source

3

Ce sont les valeurs par défaut. Voir "Terminal" "préférences" "raccourcis" au cas où ceux-ci ne fonctionnent pas et "quelqu'un" les a modifiés et a oublié le changement. Les autres réponses sont toujours si légèrement défectueuses: exit ou control-d ne fonctionne qu'au 1er niveau (si vous tapez "bash" vous avez besoin de 2 sorties) et sur une invite vide.

— Rinzwind

8

Vous l'avez déjà mentionné, tapez exit et l'onglet (ainsi que la session de terminal en cours d'exécution dans l'onglet) sera fermé.

— Gasp0de
source

1

Comme @YiboYang mentionné dans les commentaires, il n'est pas possible de faire Ctrl + Wou exitdans certains cas:

Un raccourci clavier pourrait être utile si vous essayez de fermer un onglet avec une session ssh gelée qui ne répond pas.

Ce raccourci peut être consulté / modifié à partir de la barre de menus, via Fichier> Terminal> Préférences> Raccourcis

Préférences du terminal GNOME

Il est mis en évidence dans l'image ci-dessus. Double-cliquez sur la touche de raccourci et saisissez simplement une nouvelle combinaison pour l'attribuer,

Par exemple, j'ai défini le mien comme Ctrl + Wsynchrone avec le raccourci standard du navigateur pour fermer un onglet.

— satvik.t
source