Você precisa descobrir o ID da sessão ( sid
) do shell em execução no terminal.
jinx:802 Z$ ps -p$$ -o sid
SESS
17424
(Pedantry alerta: geralmente isto é o mesmo que $$
. Se for diferente, então isso pode não funcionar.) Você pode usar isso para matar a sessão em execução no terminal. Você não pode matar o terminal diretamente desta forma (está na sessão do gerenciador de janelas), mas se o terminal estiver configurado para fechamento automático (como normalmente é), ele desaparecerá sozinho.
jinx:803 Z$ pkill -s 17424