Learn N Try

For all Lean Enthusiast

Kill

  • To kill any process

kill <PID>

  • Forcefully kill a process without waiting for its child processes to be killed

kill -9 <PID>

kill -s SIGKILL <pid>

 

  • Terminate a process with all its child processes

kill -15 <pid>

kill -s SIGTERM <pid>

 

  • To see all the signals

man 7 signal