> this appears to be confusing Ctrl+C (SIGINT, which terminates a process, and is usually not restartable), Respectfully, you seem to be confusing SIGINT, whic

> this appears to be confusing Ctrl+C (SIGINT, which terminates a process, and is usually not restartable), Respectfully, you seem to be confusing SIGINT, which is an interrupt signal and SIGTERM, which is a terminate signal. Many processes interpret SIGINT in a way which is indistinguishable from SIGTERM, but others do not (e.g. most REPLs).