Ubuntu Manpages

arb-kill

definitely kill all processes started by arb that are started by the user If option --all is given try sudo to kill all processes even if they are owned by other users.

arb-kill [--all]

Sometimes arb leaves some processes running. All processes that belong to the user who is calling arb-kill will be killed.

arb_clean(), arb(1), kill(1), sudo(1)

This manual page was written by Andreas Tille <tille@debian.org>, for the Debian GNU/Linux system (but may be used by others).