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?

entrez la description de l'image ici

misha
la 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

Réponses:

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
la 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
la 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
la 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
la source