Como fechar vários terminais gnome?

Question

Estou executando 16 processos de depuração simultaneamente com o nosso gdb adaptado (chamado e-gdb). Os processos são chamados por um script bash, usando:

gnome-terminal -e 'e-gdb -x gdbNN.cmd progNN.e'

Para gerenciar as várias sessões, posso abrir vários terminais usando a opção --geometry para organizá-los lado a lado na tela. Como alternativa, posso usar a opção --tab para tê-los todos em um terminal.

Quando as sessões terminam, fecho o (s) terminal (is) com um clique (não quero que ele feche automaticamente).

Por isso, com vários termos, preciso clicar 16 vezes, e com as guias clico uma vez, mas preciso alternar entre as guias para ver os resultados da sessão. Eu gostaria de guias lado a lado em um terminal para que eu possa visualizá-las simultaneamente e fechar tudo em um único clique.

Existe uma maneira de separar as guias? Se não, posso fechar todos os terminais de depuração em uma ação?

UPDATE : Existe uma maneira fácil de eliminar vários terminais com base no título deles? Eu estou usando a opção -t para nomear as janelas. Existe algo como kill -name '*DBG*' ?

    

Answer 1

A solução que encontrei para mim mesmo para este problema foi usar wmctrl . Permite um controle muito granular sobre suas janelas. Então eu tenho um conjunto de terminais intitulado Acyrid-Live e Acyrid-Beta .

wmctrl -F -c Acyrid-Live só fechará essa janela

É um conjunto de ferramentas bastante útil.

link

Editar: Sim, percebo que este é um thread antigo, mas é também um dos resultados mais populares quando pesquiso como fechar terminais por título, então imaginei que postaria uma solução bem-sucedida.

    

Answer 2

Podia-se fechar todos eles com killall gnome-terminal , mas isso também fecharia outros terminais gnome em execução.

    

Answer 3

Se o script de controle que você mencionou permitir, você pode tentar adicionar o seguinte a ele:

# When this exits, exit all back ground process also.
trap 'kill $(jobs -p)' EXIT

Crédito: link