Embora eu tenha minhas teorias, tenho medo de proclamar que sei exatamente (ou mesmo remotamente) como ou por que isso funciona. Eu imagino que tem algo a ver com a maneira como um *.desktop
launcher executa seu alvo. Talvez eu estivesse tentando matar a janela do gnome-terminal depois que ela já havia sido fechada no final da execução do script e acabasse matando minha sessão? Talvez vice-versa? Eu não pretendo saber, mas eu gostaria de convidar qualquer um que fizer isso para responder esta pergunta com sua explicação para que outros possam aprender com meu erro.
Remover a linha kill -9 $PPID
resolveu o problema
Se o script for executado a partir do *.desktop
launcher, a janela inicial gnome-terminal
será fechada, deixando a segunda. Se o script for executado a partir da linha de comando (por exemplo, $ bash InitSystem
), a janela inicial gnome-terminal
não será fechada.