Delete terminal automatically if exec session exists

[marcosnils]

if you exit the shell by either exit or ctrl + d the exec session will end and all other terminal will remain unresponsive. It'd be nice to warn the user about this action and automatically delete terminals if action is intentional.

[xetorthio]

???

On Tue, Nov 15, 2016, 19:15 Marcos Nils notifications@github.com wrote:

Closed #15 #15.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
#15 (comment),
or mute the thread
https://github.com/notifications/unsubscribe-auth/AAIhp7_0TKkNRwWJPvoLX5hEN6tgtlbAks5q-i7ogaJpZM4KUFGL
.

[marcosnils]

Dind shell can't be exited anymore. If sh session gets killed it will relaunch. The only way to delete an instance now is by the delete button