How to kill multiple processes?
The bash shell's builtin kill appears to accept only a single PID (or jobspec). However the external kill command (from package procps) accepts multiple pids:
$ sleep 60 & sleep 60 &
[1] 25208
[2] 25209
$ /bin/kill 25208 25209
[1]- Terminated sleep 60
[2]+ Terminated sleep 60