On Thu, Nov 21, 2024 at 12:57 PM Steffen Dettmer <steffen.dettmer@???>
wrote:
>
> sdettmer@RefVm6:~/work/p1/src (master *+$|u=) $ strace -e kill
> /bin/kill -7659 -7660
> kill(-7, SIGTERM) = -1 ESRCH (No such process)
> +++ exited with 0 +++
> sdettmer@RefVm6:~/work/p1/src (master *+$|u=) $
>
>
ps: As a workaround, I can use "kill -- -9876" .