Newbie SUDO question

[Villegas, Beatriz D.]

Hello

We are trying to give sudo access to a user that needs to kill a process
that runs as root. We want the user to kill only that process (which is
different every time). We don not know how to specify in the sudoers file
something like:

Cmd_alias = KILL = /usr/bin/kill `cat /tmp/process.pid`

The pid of the process is on the /tmp/process.pid file.

Any suggestions will be greatly appreciated.

Thanks in advance,

Beatriz Villegas

beatriz.villegas at ibx.com