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?