Como fechar uma guia do terminal GNOME no teclado?

9

Não estou falando de fechar a própria janela do terminal, o que você pode fazer facilmente usando o exitcomando Estou falando de fechar uma guia que você abriu originalmente pressionando a CtrlShiftTcombinação de teclas. Quando terminar de trabalhar com ele, gostaria de fechá-lo sem levantar as mãos do teclado e pressionar o mouse para clicar no pequeno botão X. Existe um comando para isso?

insira a descrição da imagem aqui

shortcut-keys gnome-terminal misha
fonte
6
Basta sair do shell (ctrl-d)? A outra guia permanecerá aberta.
muru 4/03/16
Então, eu posso usar exit ou Ctrl + D para fechar uma guia. Obrigado.
Misha
Um atalho de teclado realmente pode ser útil se você está tentando fechar uma aba com uma sessão ssh sem resposta congelado ...
Yibo Yang

Respostas:

27

Quando o processo do shell dentro da guia do terminal sair, ele será fechado. Se foi a única guia, a janela inteira será fechada. Então você só precisa sair da sessão do Bash.

Sua sessão do Bash é encerrada ...

  • quando você digita o comando exit.
  • quando você pressiona Ctrl+ Dpara enviar um EOTcódigo ("Fim da transmissão").
    Observe que ele deve ser pressionado quando o prompt de comando estiver vazio, ou seja, você não digitou mais nada nessa linha ainda.

Observe também que você pode aninhar várias conchas interativas. Você pode iniciar um novo shell dentro do atual executando por exemplo bash, sh, python, bc, ... O exite Ctrl+ Dserá sempre única encerrar o shell ativo no momento, que é geralmente o mais íntimo.

Byte Commander
fonte
quando você pressiona ctrl-d ... em um prompt vazio.
Muru
@ muru Sim, está correto. Eu vou adicionar.
Byte Commander
Outra pequena adição: se você estiver dentro de mais de 1 shell ... ele sairá do shell e não fechará a guia. (ou seja, "bash" "bash" "bash" requer 4 control-d's para que a guia seja fechada)
Rinzwind 4/16/16
@Rinzwind Ooohhhkay ... Vou acrescentar isso também ;-)
Byte Commander
11
Pode ser interessante notar que Ctrl + u limpará a linha atual do terminal, para que ctrl + u, ctrl + d saia.
Holloway
23

Na ajuda do Terminal GNOME :

  • Aba fechada: ShiftCtrlW
  • Janela fechada: ShiftCtrlQ
muru
fonte
3
Esses são os padrões. Consulte "Terminal", "preferências", "atalhos", caso não funcionem e "alguém" os altere e se esqueça da alteração. As outras respostas são levemente falhas: exit ou control-d só funciona no 1º nível (se você digitar "bash", precisa de 2 saídas) e em um prompt vazio.
Rinzwind 4/03/16
8

Você já mencionou, digite exit e a guia (assim como a sessão do terminal em execução na guia) será fechada.

Gasp0de
fonte
1

Como o @YiboYang mencionado nos comentários, não é possível fazer Ctrl + Wou, exitem alguns casos:

Um atalho de teclado pode realmente ser útil se você estiver tentando fechar uma guia com uma sessão ssh sem resposta congelada.

Esse atalho pode ser visualizado / alterado na barra de menus, em Arquivo> Terminal> Preferências> Atalhos

Preferências do terminal GNOME

É destacado na imagem acima. Clique duas vezes na tecla de atalho e digite uma nova combinação simples para atribuir a ela,

Por exemplo, eu configurei o meu Ctrl + Wpara ser sincronizado com o atalho padrão do navegador para fechar uma guia.

satvik.t
fonte