I have a
I've tried both the plain
Is there any way to kill the
grep
process that refuses to die.. I did kill the shell job that was its parent, but that didn't kill the child, which is now parented by PID 1 (init).I've tried both the plain
kill nnnn
and the fancy kill -s KILL nnnn
. The fancy one gets me the complaint that arguments should be jobs or process ids. Neither one works.Is there any way to kill the
grep
process apart from rebooting?