arb-kill(1) definitely kill all processes started by arb that are started by the user

SYNOPSIS

arb-kill [--all]

DESCRIPTION

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

AUTHOR

This manual page was written by Andreas Tille <[email protected]>, for the Debian GNU/Linux system (but may be used by others).