By default the kill
command sends SIGTERM
. If you want to kill your program with SIGKILL
, use kill -KILL 4242
.
Another thing I find handy if a process ignores ^C
, just press ^Z
, it will suspend the process and give you back the control of the terminal, then you can kill the process with kill %
.