Provided by: arb_6.0.3-1_amd64
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.
Sometimes arb leaves some processes running. All processes that belong to the user who is calling arb-kill will be killed.
This manual page was written by Andreas Tille <email@example.com>, for the Debian GNU/Linux system (but may be used by others).