When SIGINT is detected by `devbox run` send SIGTERM to the pid of the script that is running

Open kadaan opened this issue 1 year ago • 2 comments

Summary

When SIGINT is detected by devbox run send SIGTERM to the pid of the script that is running. Fixes #1815

I ran a script before this change and CTRL-C could not cancel it. With this change it can be canceled.

Feb 21 '24 00:02 kadaan

Is there a good way to add test for these cases into the repository? If there is, I will gladly do it.

Feb 21 '24 04:02 kadaan

I made an initial stab of doing it this way and cancelling didn't work. I will try to get back to this in a bit.

Apr 02 '24 05:04 kadaan