usage="kill         -- kill pipeline\
\
Usage:\
    kill <pid>...\
    kill -h | --help\
\
Options:\
    -h --help   Show this message.\
    <pid>       Pipeline id, obtained from ps\
"

if ! docopt $usage $*; then
    exit false
fi

for i in /proc/$pid/ctl; do echo 'kill' >$i; done
