Marcus Brinkmann <Marcus.Brinkmann@ruhr-uni-bochum.de> writes: > That's good. So we have a reason now to include > a binary kill somewhere. Any suggestions? Is there any good reason why a /bin/kill that looks like #! /bin/sh exec kill "$@" isn't good enough? If it has to be written in C for whatever reason, I guess GNU sh-utils is the right place. /Niels